Theseus
   

   DisCoTec 07

        Federated Conferences:
             Coordination 07
             DAIS 07
             FMOODS 07
        Invited speakers
        Satellite events
        Location
        Registration
        Contact us

   FMOODS 07

        Call for papers pdf  txt
        Important dates
        Committees
        Past conferences
        Contact
        Submission
        Program

 

 

 

 

 

 

 

 

 

 

 

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)