26th IFIP WG 6.1 International Conference on
Formal Methods for Networked and Distributed Systems
Special focus on verified middleware and distributed services
Conference Location
Conference location
Location
All sessions will take place in Amphithéatre Aimé-Laussedat (3) at the Conservatoire National des Arts et Métiers, Annexe Mongolfier, access 31, 3th floor (2, rue Conté, Paris 03); . Access to map.
Transports
- Underground (métro) Line 3 : Réaumur – Sébastopol or Arts et Métiers
- Bus Lines 20, 38, 39, 47 et 75
Line 4 : Réaumur – Sébastopol or Strasbourg – Saint-Denis
Lines 8 & 9 : Strasbourg – Saint-Denis
Aeroports
- Aeroport Charles de Gaulles: RER B - Gare du Nord - Metro line 4
- Aeroport Orly : RER B - Chatelet - Metro line 11
- Aeroport Beauvais