26th IFIP WG 6.1 International Conference on
Formal Methods for Networked and Distributed Systems
Special focus on verified middleware and distributed services
Organizers
Organizers
General chair
- Véronique Viguié Donzeau-Gouge, CEDRIC-CNAM, France
Program chairs
- Elie Najm, Infres-ENST, France
- Jean-François Pradat-Peyre, CEDRIC-CNAM, France
Tutorial chair
- Christine Choppy, LIPN Univ. Paris-Nord
Publicity Chair
- Kirill Bogdanov, University of Sheffield, UK
Organization committee
- Joyce El Haddad, Lamsade Univ. Paris Dauphine
- Sami Evangelista, CEDRIC-CNAM
- Irfan Hamid, Infres-ENST, France
- Christophe Pajault, CEDRIC-CNAM
- Isabelle Perseil, Infres-ENST, France
- Pierre Rousseau, CEDRIC-CNAM
- Emmanuel Paviot-Adet, LIP6 Univ. Pierre et Marie Curie