16th International Symposium on Formal Methods, Eindhoven, Niederlande

FM2009 is the sixteenth symposium in a series of the Formal Methods Europe association (FME). The symposium will be organized as a world congress. Ten years after FM′99 in Toulouse, the first world congress, the formal methods communities from all over the world will again have the opportunity to meet. Therefore, FM2009 will be both an occasion to celebrate, and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds and schools to exchange their ideas and share their experience.