DisCoTec 06

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

   FMOODS 06

        Call for papers
        Important dates
        Committees
        Past conferences
        Contact
        Submission
        Program

 

 

 

 

 

 

 

 

 

 

 

 

 

 

FMOODS 06

8th IFIP International Conference on
Formal Methods for Open Object-Based Distributed Systems
Bologna, Italy, 14 - 16 June, 2006

General chair:
Gianluigi Zavattaro (U. of Bologna, IT)

PC chairs:
Roberto Gorrieri (U. of Bologna, IT)
Heike Wehrheim (U. of Paderborn, DE)

Steering Committee:
John Derrick (U. of Sheffield, UK)
Roberto Gorrieri (U. of Bologna, IT)
Elie Najm (ENST, Paris, FR)

Program Committee:
Lynne Blair (U. of Lancaster, UK)
Eerke Boiten (U. of Kent, UK)
Nadia Busi (U. of Bologna, IT)
John Derrick (U. of Sheffield, UK)
Alessandro Fantechi (U. of Firenze, IT)
Colin Fidge (U. of Queensland, AUS)
Robert France (Colorado State U., USA)
Roberto Gorrieri (U. of Bologna, IT)
Reiko Heckel (U. of Leicester, UK)
Einar Broch Johnsen (U. of Oslo, N)
Doug Lea (State U. of New York, USA)
Elie Najm (ENST Paris, FR)
Uwe Nestmann (TU Berlin, D)
Erik Poll (U. of Nijmegen, NL)
Arend Rensink (U. Twente, NL)
Ralf Reussner (U. of Oldenburg, D)
Bernhard Rumpe (TU Braunschweig, D)
Martin Steffen (CAU Kiel, D)
Carolyn Talcott (SRI International, USA)
Andrzej Tarlecki (Warsaw University, PL)
Vasco Vasconcelos (U. of Lisbon, P)
Heike Wehrheim (U. of Paderborn, D)
Elena Zucca (U. of Genova, IT)