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. 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
  2. Astefanoaei wins Best Paper Award

    PhD student Lacramioara Astefanoaei (CWI) won the Best Paper Award 2008 during the 11th Pacific Rim International Conference on Multi-Agents (PRIMA 2008).

    Located in News / 2009
  3. Astefanoaei wint Best Paper Award

    Promovenda Lacramioara Astefanoaei (CWI) heeft de Best Paper Award 2008 gewonnen tijdens de 11th Pacific Rim International Conference on Multi-Agents (PRIMA ...

    Located in Nieuws / 2009
  4. 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
  5. Better internet connections possible by means of formal methods

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

    Located in News / 2006
  6. 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
  7. Better QoS for distributed software with stochastic and formal methods

    Reusability of software is a hot topic nowadays. It is easier, cheaper and more efficient to reuse parts of existing software in order to adjust or ...

    Located in News / 2011
  8. 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
  9. Cum laude for new method making parallel programming easier

    Due to the increase of multicore processors used in smart phones, game consoles and other computers, parallel programming has become increasingly important. To ...

    Located in News / 2016
  10. 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
  • 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