CWI
Advanced Search…
  • Log in

Navigation

  • Home
  • About CWI
  • News
  • Events
  • Research
  • Industry & Society
  • Output
  • Working at CWI
You are here:
  1. Home
Item type
New items since

Search results

0 people/persons matching your PDB query; 56 items matching your search terms.
Sort by relevance date (newest first) alphabetically
  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. FACS Best Paper Award for Formal Methods researchers

    During the FACS2015 conference three researchers associated with the CWI Formal Methods research group were awarded the Best Paper Award for their article ...

    Located in News / 2015
  7. 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
  8. 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
  9. 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. ...

    Located in News / 2017
  10. PhD Defence Sung-Shik T.Q. Jongmans (FM)

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

    Located in Events / 2016 / PhD defences 2016
  • « Previous 10 items
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • Next 6 items »

Info

Centrum Wiskunde & Informatica (CWI) is the national research institute for mathematics and computer science in the Netherlands. CWI is part of NWO-I, the Institutes Organisation of NWO.

Address

CWI Location
Science Park 123
1098 XG Amsterdam
NETHERLANDS
Postal address
P.O. Box 94079
1090 GB Amsterdam
NETHERLANDS
Phone
+31 20 592 9333
E-mail
info@cwi.nl

Contact

  • @cwiamsterdam on Facebook
  • @CWInl on Twitter
  • CWI on LinkedIn
  • CWI on YouTube
  • cwi_amsterdam on Instagram

Disclaimer

© Centrum Wiskunde & Informatica · Design by _Blank