-
PhD defence Julian Salamance (FM)
Everyone is welsome to attend the public defence of Julian Salamanca
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
-
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
-
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
-
Events
Computer Security group events
Located in
Research
/
Our Research Groups
/
Computer Security
-
News
Computer Security group news
Located in
Research
/
Our Research Groups
/
Computer Security
-
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
-
Cum laude for PhD student Jurriaan Rot
Infinite data structures can be studied with a simplified technique, thanks to research done by PhD student Jurriaan Rot. He received his PhD degree with ...
Located in
News
/
2015
-
Michiel Helvensteijn in winning team Moving Story
Moving Story is the winning project of Startup Weekend Enschede (15-17 March 2013), a competition for startup ideas through mobile and web applications. Moving ...
Located in
News
/
2013
-
CWI awarded three projects in NWO's Free Competition
Located in
News
/
2013