Search results

Better parallel programming with help of ABS language

Current programming languages cannot use the full potential power of manycore chips. Keyvan Azadbakht studied the formal programming language ABS and extended ...

Everyone is welcome to attend the public defence of Keyvan of his thesis 'Asynchronous Programming in the Abstract Behavioural Specification Language'.

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 ...

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 ...

This informal workshop serves the purpose to present and discuss the latest developments of the Abstract Behavioral Specification language and related research ...

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 ...

Everyone is welsome to attend the public defence of Julian Salamanca

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 ...

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. ...