26th IFIP WG 6.1 International Conference on
Formal Methods for Networked and Distributed Systems
Special focus on verified middleware and distributed services
Program committee
- G. V. Bochmann (Univ. of Ottawa, Canada)
- T. Bolognesi (IEI Pisa, Italy)
- M. Bravetti (Univ. of Bologna, Italy)
- A. Cavalli (INT Evry, France)
- D. de Frutos-Escrig (Complutense Univ. of Madrid,Spain)
- J. Derrick (Univ. Sheffield, United Kingdom)
- L. Duchien (LIFL, France)
- A. Fantechi (Univ. di Firenze, Italy)
- C. Fidge (Australia)
- H. Garavel (Inria, France)
- R. Gotzhein (Univ. of Kaiserslautern, Germany)
- S. Haddad (Lamsade-Paris Dauphine, France)
- T. Higashino (Univ. of Osaka, Japan)
- D. Hogrefe (Univ. of Göttingen, Germany)
- P. Inverardi (University of L'Aquila, Italia)
- C. Jard (IRISA, France)
- G. J. Holzmann (NASA/JPL, USA)
- M. Kim (ICU Taejon, Korea)
- H. Koenig (Brandenburg University of Technology, Germany)
- L. Logrippo (Univ. du Québec en Outaouais, Canada)
- J. Magee (Imperial College of London, United Kingdom)
- E. Najm (Infres ENST, France) co-chair
- M. Nunez (Complutense Univ. of Madrid, Spain)
- D. A. Peled (Univ. of Warwick, United Kingdom)
- A. Petrenko (CRIM Montreal, Canada)
- F. Plasil (Charles University, Prague)
- J.-F. Pradat-Peyre (Cedric-Cnam, France) co-chair
- W. Reisig (Humboldt-Universität, Berlin)
- J.B. Stefani (Inria, France)
- K. Suzuki (Kennisbron Co., Ltd, Japan)
- P. Traverso (ITC-IRST, Italia)
- K. Turner, (Univ. of Stirling, United Kingdom)
- H. Ural (Univ. of Ottawa, Canada)
- F. Wang (National Taiwan University, Taiwan)