FMOODS 07 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems

 

GENERAL CHAIR

George Papadopoulos (University of Cyprus, CY)

STEERING COMMITEE

John Derrick (University of Sheffield, UK)
Roberto Gorrieri (University of Bologna, IT)
Elie Najm (ENST, Paris, FR)
Carolyn Talcott (SRI International, US)

PC CO-CHAIRS

Einar Broch Johnsen (University of Oslo, NO)
Marcello Bonsangue (LIACS, NL)

PROGRAM COMMITEE

Bernhard Aichernig (Technical University of Graz, AT)
Alessandro Aldini (University of Urbino, IT)
Frank de Boer (CWI, NL)
Eerke Boiten (University of Kent, UK)
John Derrick (University of Sheffield, UK)
Robert France (Colorado State University, US)
Reiko Heckel (University of Leicester, UK)
Naoki Kobayashi (Tohoku University, JP)
Zhiming Liu (UNU-IIST, MO)
Elie Najm (ENST, Paris, FR)
David Naumann (Stevens Inst. of Technology, US)
Uwe Nestmann (Technical University of Berlin, DE)
Erik Poll (University of Nijmegen, NL)
Antonio Ravara (Technical University of Lisbon, PT)
Arend Rensink (University of Twente, NL)
Ralf Reussner (University of Karlsruhe, DE)
Grigore Rosu (University of Illinois at Urbana-Champaign, US)
Bernhard Rumpe (Technical University of Braunschweig, DE)
Martin Steffen (University of Oslo, NO)
Carolyn Talcott (SRI International, US)
Heike Wehrheim (University of Paderborn, DE)
Martin Wirsing (University of Munich DE)
Wang Yi (Uppsala University, SE)
Gianluigi Zavattaro (University of Bologna, IT)
Elena Zucca (University of Genova, IT)

PUBLICITY CHAIR

Martin Steffen (University of Oslo, NO)