Lorentz Center - Third International Symposium on Formal Methods for Components and Objects (FMCO) from 1 Nov 2004 through 5 Nov 2004
  Current Workshop  |   Overview   Back  |   Home   |   Search   |     

    Third International Symposium on Formal Methods for Components and Objects (FMCO)
    from 1 Nov 2004 through 5 Nov 2004

 
Names listed in boldface are linked to the home pages of these participants

Samson Abramsky(Oxford University, United Kingdom)
Farhad Arbab(CWI, Netherlands)
Thomas Ball(Microsoft Research, United States)
Gourinath Banda(Roskilde University Center, Denmark)
Luis Barbosa(Minho University, Portugal)
Marcello Bonsangue(LIACA - Leiden University, Netherlands)
Pontus Bostrom(Abo Akademi University, Finland)
Sylvain Boulme(LSR - IMAG, France)
Gyrd Braendeland(University of Oslo, Norway)
Ed Brinksma(University of Twente, Netherlands)
Einar Broch Johnsen(University of Oslo, Norway)
Kim Bruce(Williams College, United States)
JoaoFilipe Castel-Branco Belo(University of Manchester, United Kingdom)
Ling Cheung(University of Nijmegen, Netherlands)
Dave Clarke(CWI, Netherlands)
Pierre Cointe(Ecole des Mines de Nantes, France)
David Costa(CWI, Netherlands)
Pieter Cuijpers(, Netherlands)
Luca de Alfaro(, United States)
Rocco de Nicola(, Italy)
Willem-Paul de Roever(, Germany)
Nikolay Diakov(, Netherlands)
Neil Evans(, United Kingdom)
Harald Fecher(, Germany)
Lilia Georgieva(, United Kingdom)
Susanne Graf(, France)
Chris Hankin(, United Kingdom)
Tom Henzinger(, United States)
Reichel Horst(, Germany)
Robin Houston(, United Kingdom)
Helle Hvid Hansen(, Netherlands)
Damien Karinsky(, United Kingdom)
Joost Kok(, Netherlands)
Jan Komenda(, Czech Republic)
Ruurd Kuiper(, Netherlands)
Marcel Kyas(, Germany)
Kim Larsen(, Denmark)
Kung-Kiu Lau(, United Kingdom)
Patrick Maier(, Germany)
Peter Massuthe(, Germany)
Farhad Mavaddat(, Canada)
Jean-Jules Meyer(, Netherlands)
Ronald Middelkoop(, Netherlands)
Robin Milner(, United Kingdom)
Eugenio Moggi(, Italy)
David Naumann(, United States)
Tobias Nipkow(, Germany)
Olaf Owe(, Norway)
Cees Pierik(, Netherlands)
Andreas Podelski(, Germany)
Erik Poll(, Netherlands)
Cees Pronk(, Netherlands)
Boulifa Rabea(, France)
Julian Ratke(, United Kingdom)
Mohammed Reza Mousavi(, Netherlands)
Ella Roubtsova(, Netherlands)
Andrey Rybalchenko(, Germany)
Ursula Scheben(, Germany)
Birgit Schieder(, Germany)
Isabelle Simplot-Ryl(, France)
Martin Steffen(, Germany)
Marielle Stoelinga(, Netherlands)
Helen Treharne(, United Kingdom)
Frits Vaandrager(, Netherlands)
Jan van Schuppen(, Netherlands)
Sander van Splunter(, Netherlands)
Wolfgang Weck(, Switzerland)
Thomas Wies(, Germany)
Reinhard Wilhelm(, Germany)
Wang Yi(, Sweden)
Liu Zhiming(, Macao)
Ma Zhiyi(, China)


   [Back]