Formal Methods Week Soiree

Wednesday November 4, 2009 in the Blauwe Zaal of the Auditorium
Festive meeting on the occasion of the first international Formal Methods Week open to all delegates

19:00	Arrival of guests/coffee and tea
19:30	Opening/prof.dr. Jos Baeten (Technische Universiteit Eindhoven)
19:35	Keynote speaker/prof.dr. E. Allen Emerson (University of Texas at Austin)
20:25	Respondent/prof.dr.ir. Joost-Pieter Katoen (RWTH Aachen University)
20:50	Closing/drs. Erik van Merrienboer (City of Eindhoven)
21:00	Reception offered by the City of Eindhoven

The keynote speaker prof. E. Allen Emerson (University of Texas at Austin) is one of the founding fathers of model checking, a successful, industrially applied formal method. For his work in this area he received the ACM Turing Award in 2007. This award is the most important scientific decoration in Computer Science. In his survey of the development of formal methods prof. Emerson's personal ties with Eindhoven will be touched upon.

The respondent prof. Joost-Pieter Katoen (RWTH Aachen University) is a distinguished Dutch computer scientist. Last year he completed a comprehensive monograph covering recent developments in model checking. Prof. Katoen will discuss recent trends in formal methods driven by the growing demands on software in high-tech systems.

The FMweek soiree gratefully acknowledges the financial support of the City of Eindhoven and NWO Exact Sciences.