-
Workshop Dutch Secure Autonomous Cloud
We are pleased to invite you to the interactive workshop “Dutch Secure Autonomous Cloud” (DUSAC) on 14 January 2021. The second edition of this workshop ...
Located in
Research
/
…
/
Computer Security
/
Events
-
Workshop Dutch Secure Autonomous Cloud
Join the interactive workshop around the Dutch Secure Autonomous Cloud: a transparent, national cloud with security guarantees for the processing and storage ...
Located in
Research
/
…
/
Computer Security
/
Events
-
CWI introduces new design methodology for reliable and trustworthy software
To make the development process of software quick, efficient, reliable and automated, researcher Vlad-Nicolae Şerbănescu (CWI and LIACS) studied how to unify ...
Located in
News
/
2020
-
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 ...
Located in
News
/
2019
-
PhD defence Keyvan Azadbakht (FM)
Everyone is welcome to attend the public defence of Keyvan of his thesis 'Asynchronous Programming in the Abstract Behavioural Specification Language'.
Located in
Research
/
…
/
Computer Security
/
Events
-
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
/
…
/
Computer Security
/
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
/
…
/
Computer Security
/
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
/
…
/
Computer Security
/
Events
