26th IFIP WG 6.1 International Conference on
Formal Methods for Networked and Distributed Systems
Special focus on verified middleware and distributed services
We plan 2 social events: a welcome cocktail and the conference dinner.
The welcome cocktail will be housed by the “Musée des Arts et Métiers”
The Musée des arts et métiers is a Mecca of
scientific and technical heritage and plays a significant role in the
dissemination of scientific and technical culture in France,
in collaboration with CNAM centers in the provinces.
It houses unique collections which bear witness to 250 years of technical
innovation (Blaise Pascal's Arithmetic Machine, the Foucault pendule, etc.).
Each year, around 200,000 people visit the 6000 sq. m of permanent exhibitions. A short visit of the museum will be possible before the cocktail.
The conference dinner will take place Thursday in the restaurant of the “Musée d'Orsay”
(www.musee-orsay.fr) after a guided tour of the museum.
The Musée d'Orsay is one of the most famous museums in the world.