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.This revised website is based on the website of the DIES group. We thank them for allowing us to build on their work!

Tingting Han received the Overijssel Ph.D Award (the best PhD dissertation in 2009 at the University of Twente, NL). In the autumn of 2009, she defended her dissertation at both the RWTH Aachen and in Twente with honours. Her dissertation is on "Diagnosis, Synthesis and Analysis of Probabilistic Models". Further information.

Marieke Huisman has obtained a 1.3 million ERC Starting Independent Researcher Grant for the VerCors project, to work on the verification of concurrent data structures. Project duration is 60 months. Two PhD students and two post docs will be appointed on the project. Further information.