FMCO 2005: List of participants

(last update: October 17, 2005)

Farhad Arbab	CWI, LIACS	The Netherlands
Christel Baier	Bonn University	Germany
Jiri Barnat	Masaryk University Brno	Czech Republic
Michael Barnett	Microsoft Research	USA
Frank de Boer	CWI, LIACS	The Netherlands
Marcello Bonsangue	LIACS	The Netherlands
Elena Bortnik	Technical University of Eindhoven	The Netherlands
Lubos Brim	Masaryk University Brno	Czech Republic
Freek Burger	CWI – Amsterdam	The Netherlands
Luís Caires	New University of Lisbon	Portugal
Ivana Cerna	Masaryk University Brno	Czech Republic
Dave Clarke	CWI	The Netherlands
David Costa	CWI	The Netherlands
Susanne van Dam	CWI	The Netherlands
Dennis Dams	Bell Labs	USA
Fredrik Degerlund	Åbo Akademi University	Finland
Bastian Dölle	University of Lübeck	Germany
Wan Fokkink	Free University of Amsterdam	The Netherlands
Murdoch James Gabbay	Technical University of Eindhoven	The Netherlands
Stephan Gambke	University of the Federal Armed Forces Munich	Germany
Susanne Graf	Verimag	France
Marcus Groesser	Bonn University	Germany
Jan Friso Groote	Technical University of Eindhoven	The Netherlands
Andreas Gruener	Kiel University	Germany
Orna Grumberg	Technion	Israel
Juan Guillen Scholten	CWI and LIACS	The Ntehrlands
Christian Haack	Radboud University of Nijmegen	The Netherlands
Jan Jurjens	Technical University of Munich	Germany
Joost-Pieter Katoen	RWTH Aachen	Germany
Joseph Kiniry	University College Dublin	Ireland
Marcel Kyas	Kiel University	Germany
Alexander Kurz	University of Leicester	United Kingdom
Kung-Kiu Lau	University of Manchester	United Kingdom
Ragnhild Kobro Runde	University of Oslo	Norway
Farhad Mavaddat	University of Waterloo	Canada
Ronald Middelkoop	Technical University of Eindhoven	The Netherlands
Mats Neovius	Abo Akademi	Finland
Wojciech Mostowski	Radboud University of Nijmegen	The Netherlands
Peter O' Hearn	Queen Mary University of London	United Kingdom
Cees Pierik	Utrecht University	The Netherlands
Arnd Poetzsch-Heffter	University of Kaiserslautern	Germany
John Reynolds	Carnegie Mellon University	USA
M. Birna van Riensdijk	Utrecht University	The Netherlands
Willem-Paul de Roever	Kiel University	Germany
Jean-Charles Roger	ENSIETA DTN.	France
Jan Rutten	CWI, Free University of Amsterdam	The Netherlands
Davide Sangiorgi	University of Bologna	Italy
Jan van Schuppen	CWI	The Netherlands
Natasha Sharygina	University of Lugano	Switzerland
Isabelle Simplot-Ryl	LIFL, University of Lille	France
Marjan Sirjani	IPM and Tehran University	Iran
Martin Steffen	Kiel University	Germany
Ketil Stølen	SINTEF & UiO	Norway
Leon van der Torre	CWI – Amsterdam	The Netherlands
Shimata Tshinanga	University of Limerick	Ireland
Emilio Tuosto	University of Leicester	United Kingdom
Pavlina Varekova	Masaryk University Brno	Czech Republic
Maria Grazia Vigliotti	Inria Sophia-Antipolis	France
Herbert Wiklicky	Imperial College London	United Kingdom
Barbora Zimmerova	Masaryk University Brno	Czech Republic