-
18 Dec 2019
From previous events - New insights from reconstructing the first ALGOL 60 system
Programming computers is difficult, especially if you want programs to work correctly. There are heated debates on the best methods to reach this. To better understand what programming is and how it should be done, CWI's PhD student Gauthier van ... lees verder »
-
16 Dec 2019
Projects - Patricia Lago, Anna Bon, and Wendelien Tuyp received a grant from the Amsterdam Sustainability Institute (ASI) on food security in developing countries
Patricia Lago, Anna Bon, and Wendelien Tuyp received a grant from the Amsterdam Sustainability Institute (ASI) on food security in developing countries. The objectives of the project are: Goal-ICT: to focus on the ICT needs, and fr... lees verder »
-
16 Dec 2019
Projects - Ivano Malavolta and Patricia Lago receive a Horizon 2020 grant for their uDEVOPS project
Ivano Malavolta and Patricia Lago, both at the Vrije Universiteit Amsterdam, receive a Horizon 2020 grant for their uDEVOPS project. The objective of the project is to form an international and inter-sectoral network of organisations workin... lees verder »
-
16 Dec 2019
PhD defences - PhD thesis Wytse Oortwijn
On December 12, Wytse Oortwijn defended his PhD thesis "Deductive Techniques for Model-based Concurrency Verification" at the University of Twente. His supervisor was prof.dr. M. Huisman from the faculty of Electrical Engineering, Mathematics and... lees verder »
-
16 Dec 2019
PhD defences - A unit-aware matrix language and its application in control and auditing
Programming computers is difficult, especially if you want programs to work correctly. There are heated debates on the best methods to reach this. To better understand what programming is and how it should be done, Gauthier van den Hove reconstru... lees verder »
-
16 Dec 2019
Projects - Ivano Malavolta receives NWO Open Competition Domain Science XS individual grant
With his project titled "Green Tactics for Robotics Software", Ivano Malavolta, assistant professor at the VU receives an NWO Open Competition Domain Science XS grant. The project is funding a postdoc position for 9 months or a scientific pr... lees verder »
-
16 Dec 2019
Projects - Marielle Stoelinga receives ERC Consolidator Grant
Self-driving cars, drones, the Internet of Things; these are just a few of the technologies that could have a significant impact on our lives in the coming years. But this also means that we must carefully weigh the risks against the potential be... lees verder »
-
16 Dec 2019
Awards and prizes - 2 Master thesis prizes for Sophie Lathouwers
Sophie Lathouwers, PhD student at the University of Twente, received two prizes for her Master thesis "Reasoning About the Correctness of Sanitizers". She received the Greenhost prize of the Koninklijke Hollandsche Maatschappij der Wetenscha... lees verder »
-
16 Dec 2019
Awards and prizes - Best paper award for Wytse Oortwijn and Marieke Huisman at iFM 2019
Wytse Oortwijn (now at ETH Zurich) and Marieke Huisman (University of Twente) received a best paper award for their paper: "Practical Abstractions for Automated Verification of Message Passing Concurrency" at IFM 2019: 15th International Conferen... lees verder »
-
01 Nov 2019
Deadline extension for technical papers of BENEVOL 2019
Due to many requests, the technical papers deadline for BENEVOL 2019 has been extended to the 6th of November. The goal of BENEVOL is to bring together researchers from Belgium, the Netherlands, and neighboring countries that are working in ... lees verder »
.png)