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. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. PhD defence Julian Salamance (FM)

    Everyone is welsome to attend the public defence of Julian Salamanca

    Located in Research / … / Computer Security / Events
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • Next 10 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