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