IFIP WG 1.9/2.15 Verified Software

Seventh meeting, Paris, France, December 15-16-17, 2014

• Location
• Participants

The seventh meeting of IFIP WG 1.9/2.15 Verified Software is held in Paris, France, on December 15-16-17, 2014.

Location

The meeting is hosted by the Collège de France. The meeting room is:

    Collège de France
    Room 4
    11, place Marcelin-Berthelot
    75231 Paris Cedex 05
    France

Google Maps

Suggested hotels (both have free wifi):

• BEST WESTERN Hotel Trianon Rive Gauche
  1 bis et 3, rue de Vaugirard - 75006 PARIS

  Walking distance from Collège de France.

• Hôtel du Lion
  1 avenue du Général-Leclerc - 75014 Paris, France

  Cheaper. Two stations away from Collège de France by subway (RER B).

Lunches / Coffee breaks / Registration

Lunches will be taken at the cafeteria of Collège de France, around 12:00/12:15. Each participant will have to pay for his/her lunch at the cash register. The price for starter + main course + dessert is 7,20 euros (but you are free to take anything you want). Vegetarian meals are available and slightly cheaper.

So please bring cash with you for the lunches.

Coffee breaks are courteously provided by Collège de France.

There is no registration fee for this meeting.

Participants

• Gérard Berry (host)
• Sandrine Blazy
• Martin Clochard (local observer)
• Deepak D'Souza
• Jean-Christophe Filliâtre
• Léon Gondelman (local observer)
• Klaus Havelund
• Tony Hoare
• Andrew Ireland
• Paul Jackson
• Bart Jacobs
• Cliff Jones
• Gary Leavens (chair)
• Tiziana Margaria
• Bertrand Meyer
• Peter Müller
• Andrei Paskevich (local observer)
• Wolfgang Paul
• Andreas Podelski
• Natarajan Shankar (secretary)

---

Last updated: October 30, 2014