-
Grant for CWI to improve Next Generation Internet
NLnet Foundation awarded CWI with a grant to develop a replacement for a decades-old application programming technique for communication on the internet. This ...
Located in
News
/
2019
-
16th International Conference on Formal Aspects of Component Software (FACS 2019)
Call for Papers: FACS 2019 FACS 2019 is concerned with how formal methods can be applied to component-based software and system development. Formal methods ...
Located in
Research
/
…
/
Formal Methods
/
Events
-
Third International Workshop on the ABS Modeling Language and Tools
This informal workshop serves the purpose to present and discuss the latest developments of the Abstract Behavioral Specification language and related research ...
Located in
Research
/
…
/
Formal Methods
/
Events
-
Symposium celebrating life and achievements of Farhad Arbab
On Friday 25 May 2018 CWI organizes a farewell symposium on the occasion of the retirement of Farhad Arbab, ‘It's All About Coordination’. Farhad Arbab has ...
Located in
News
/
2018
-
PhD defence Julian Salamance (FM)
Everyone is welsome to attend the public defence of Julian Salamanca
Located in
Research
/
…
/
Formal Methods
/
Events
-
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
