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


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
Google Maps

Suggested hotels (both have free wifi):

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.


Last updated: October 30, 2014