September 26-29 2006, Paris, France

26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems
Special focus on verified middleware and distributed services

Steering committee

  • G. v. Bochmann, University of Ottawa, Canada
  • T. Bolognesi, Istituto di Scienza e Tecnologie dell'Informazione, Italy
  • J. Derrick, Department of Computer Science, University of Sheffield
  • K. Turner, University of Stirling, United Kingdom