-
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
-
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
-
registration form
Located in
Research
/
…
/
Events
/
Farhad's Retirement
-
CWI symposium 'It's All About Coordination' in honour of Prof.dr. Farhad Arbab
CWI symposium: 'It's All About Coordination' on the occasion of the retirement of prof.dr. Farhad Arbab. Everyone is cordially invited to attend this ...
Located in
Research
/
…
/
Events
/
Farhad's Retirement
-
Will you attend the reception?
Located in
Research
/
…
/
Farhad's Retirement
/
registration form
-
Commit2Data grant for better, faster and real-time adaptable big data analysis
To improve parallel processing of big data, NWO granted the project ‘Evolutionary changes in Distributed Analysis’ (ECiDA) within their Commit2Data programme. ...
Located in
News
/
2017
-
Best Paper Award for Training DevOps engineers
Researchers from CWI's Formal Methods group won the Best Paper Award in the 6th European Conference on Service-Oriented and Cloud Computing (ESSOC) in ...
Located in
News
/
2017
-
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
-
PhD Defence Sung-Shik T.Q. Jongmans (FM)
Everybody is welcome to attend the public defense of Sung-Shik Jongmans of his thesis 'Automata-Theoretic Protocol Programming'. Promotor: Prof.dr. Farhad Arbab
Located in
Events
/
2016
/
PhD defences 2016
-
Extensible Coordination Tools: plug-ins for the Eclipse platform
ECT: The Extensible Coordination Tools consist of a set of plug-ins for the Eclipse platform to facilitate development of concurrency protocols and distributed ...
Located in
Industry & Society
/
Software