Old News
30 July 2009
The ACM has awarded Joost-Pieter Katoen the ACM Senior Membership. --- Congratulations!
July 2009
Etienne Lozes (ENS Cachan, F) received a fellowship of the Alexander von Humboldt Stiftung and is to spend one year in the MOVES group starting of September 2009.
20 May 2009
Haidi Yue has been selected for the NII Internship Program --- congratulations!
Feb 24, 2009
The webpages for the SS 2009 courses are now available.
5 Nov 2008
Viet Yen Nguyen has been awarded by the Dutch Computer Science Society
(NGI) the prize of the best Master's thesis in Computer Science in The
Netherlands and Belgium in 2007. We congratulate Viet Yen with this great
achievement!
(NGI) the prize of the best Master's thesis in Computer Science in The
Netherlands and Belgium in 2007. We congratulate Viet Yen with this great
achievement!
3 Sep 2008
We are happy to announce that Dr. Erika Abraham has been appointed head of the new Junior Research Group "Theory of Hybrid Systems", which will be embedded in the MOVES group.
4 Aug 2008
We congratulate our colleague Viet Yen Nguyen, who won the Afstudeerprijs 2007/2008 of the Faculty of Electrical Engineering, Mathematics and Computer Science of the University of Twente, NL. The price, given to the author of the best master thesis of the season, is endowed with 1 kEuro.
16 Jan 2008
Press release on the QUASIMODO project (in german).
Nov 2007: MOVES in SPACE
The MOVES group will lead an international 2-year project sponsored with 500 kEURO by the European Space Agency. Begin is February 2008. Hiwis and Wihis wanted! more...
17. Oct. 2007
"Hoe functioneert Google?" Prof. Katoen @ RWTH Wissenschaftsnacht, 9. Nov., 18:00, Aula 1
22 June 2007
The final VOSS2 Meeting will take place from 12 Nov -- 16 Nov 2007 in the Lorentz Center Leiden, NL. More.
26. October 2006 | On Nov 30/Dec 1, 2006, the International Workshop on Advances in Model Checking will be held at the University of Twente, The Netherlands. The workshop is organized in honour of Gerard J. Holzmann, who will receive a honorary doctorate from the University Twente on this occasion. 15 distinguished international speakers (among them, Prof. J.-P. Katoen) are invited to contribute to the workshop programme. The Workshop also commemorates that the control software of the storm surge barrier in the Nieuwe Waterweg, Rotterdam, was formaly verifed using the SPIN model checker, 10 years ago. |
24. October 2006 | The MOVES Group is part of the new Excellence Cluster on Ultra High-Speed Mobile Information and Communication (UMIC), recently established under the excellence initiative of the German government. |
24. July 2006 | The new I2 Webpages are now finally online. |
20. July 2006 | Volker Stolz defended his PhD-Thesis Temporal Assertions for Sequential and Concurrent Programs |
25. Dezember 2006
Wir suchen einen Hiwi für System- und Web-Admin, 10h/Woche.
