News and Events
Here we list the news of FMT
|May 26, 2011||
University of Twente, the Netherlands – Monoidics ltd. announces the creation of an internship program in automatic software verification.
|May 24, 2011||
For most of the presentations of the symposium Model-based Testing, from theory to practice and back again, a .pdf is linked from the event description page.
|April 28, 2011||
After the PhD defense of Machiel van der Bijl which takes place at May 12, at May 13 an interesting combination of speakers from research en industry will share their vision and experiences on Model-Based Testing.
For more information (program, registration) see the event description.
|April 7, 2011||
Mark Florisson was invited to present his Bachelor Referaat work on Multi-Level Debugging for Cython at the Munich International Cython Workshop 2011.
|March 15, 2011||
Already a while ago, at LinkedIn the group 'FMT alumni' was created: 'a group for students and staff who have at one point been involved in the Formal Methods and Tools group at the University of Twente'.
|February 28, 2011||
We made the transition to the new website.
|February 8, 2011||
Michael Weber has won the Inter-Actief Educational Award for the Department of Computer Science! Other nominees were Rom Langerak en Harry Aarts. At tuesday februari 8 the winner was announced in borrelruimte Abscint, waar de winst ook meteen gevierd werd.
|December 16, 2010||
Rom Langerak and Michael Weber have been nominated for the Inter-Actief Educational Award for the Department of Computer Science!
|December 13, 2010||
Work has started on a revised website for FMT -- you are looking at (part of) the result. When all content has been integrated this site wil replace the current website for FMT.
|December 3, 2010||
Joost-Pieter Katoen received the educational award of the Department of Computer Science of the RWTH Aachen for his lectures on "Data Structures and Algorithms" in the summer semester of 2010.