-
Trust4All awarded with bronze Achievement Award
The project Trust4All, with CWI contributions of Frank de Boer and Farhad Arbab, has won the bronze Achievement Award 2008 of Information Technology for ...
Located in
News
/
2009
-
Astefanoaei wins Best Paper Award
PhD student Lacramioara Astefanoaei (CWI) won the Best Paper Award 2008 during the 11th Pacific Rim International Conference on Multi-Agents (PRIMA 2008).
Located in
News
/
2009
-
Trust4All ontvangt bronzen Achievement Award
Het project Trust4All, met CWI-bijdragen van Frank de Boer en Farhad Arbab, heeft de bronzen Achievement Award 2008 van Information Technology for European ...
Located in
Nieuws
/
2009
-
Astefanoaei wint Best Paper Award
Promovenda Lacramioara Astefanoaei (CWI) heeft de Best Paper Award 2008 gewonnen tijdens de 11th Pacific Rim International Conference on Multi-Agents (PRIMA ...
Located in
Nieuws
/
2009
-
Events
Formal Methods group events
Located in
Research
/
Our Research Groups
/
Formal Methods
-
News
Formal Methods group news
Located in
Research
/
Our Research Groups
/
Formal Methods
-
Sung-Shik Jongmans wins IPA Dissertation Award 2016
Research school IPA awarded Sung-Shik Jongmans with the IPA Dissertation Award 2016. The jury wrote: “The thesis contains theoretical contributions, novel ...
Located in
News
/
2017
-
CWI develops software that can manage itself
The increase of cloud technology has put a strain on developers and IT administrators to manually manage cloud software services and hardware infrastructure. ...
Located in
News
/
2018
-
CWI unveils real nature of Eilenberg-type correspondences
After almost forty years, a well-known theorem in algebra about 'Eilenberg-type correspondences' is finally fully understood. Julian Salamanca, PhD student at ...
Located in
News
/
2018
-
Cum laude for thesis on Kleene Coalgebra to improve software quality
Located in
News
/
2011
