-
Two EU projects for Formal Methods group at CWI
At the end of August, the Formal Methods research group at CWI acquired two EU projects: Envisage and Upscale. At CWI, both FP7 projects each comprise two PhD ...
Located in
News
/
2013
-
Matteo Mio wins Ackermann Award
Researcher Matteo Mio, who is currently hosted at CWI in the Formal Methods group as an ERCIM postdoctoral fellow, received the 2013 Ackermann Award for his ...
Located in
News
/
2013
-
registration form
Located in
Research
/
…
/
Events
/
Farhad's Retirement
-
Will you attend the reception?
Located in
Research
/
…
/
Farhad's Retirement
/
registration form
-
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
-
CWI Lecture Professor Marta Kwiatkowska (University of Oxford)
We cordially invite you to attend the CWI lecture given by Professor Marta Kwiatkowska (Fellow of Trinity College Department of Computer Science, University of ...
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
-
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
-
EATCS Presburger Award 2017 for Alexandra Silva
The 2017 Presburger Committee has unanimously selected Alexandra Silva, a Senior Lecturer at University College London as recipient of the prestigious 2017 ...
Located in
News
/
2017
-
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
