Search results

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

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

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

Commit2Data grant for better, faster and real-time adaptable big data analysis

To improve parallel processing of big data, NWO granted the project ‘Evolutionary changes in Distributed Analysis’ (ECiDA) within their Commit2Data programme. ...

Everybody is welcome to attend the public defense of Sung-Shik Jongmans of his thesis 'Automata-Theoretic Protocol Programming'. Promotor: Prof.dr. Farhad Arbab

Everyone is welsome to attend the public defence of Julian Salamanca

CWI's Prof. dr. Jan Willem Klop has been elected as a member of the KNAW (Royal Netherlands Academy of Arts and Sciences). Klop is researcher at CWI and the ...

NWO granted two FOCUS subsidies to CWI researchers. FOCUS is the open part of the Bsik programme BRICKS, which has been developed by CWI and NWO Physical ...

A reliable internet connection − that is what users are looking for. Bahareh Badban, PhD student at CWI, studied methods to improve TCP, one of the most ...

On 15 February 2008 CWI researcher Frank de Boer has been appointed professor of Software Correctness at Leiden University. At the Leiden Institute of Advanced ...