The fourteenth meeting of IFIP WG 1.9/2.15 Verified Software is held in Paris, France, on July 1-2, 2025.

We are planning for two full days of meeting, so please plan to travel on Monday June 30 and Thursday July 3.

Location

The meeting will take place at Inria, 48 rue Barrault, Paris, France (directions; map). Room Ruth Margaret Davis (Floor 4, Room B402)

You are on your own for accommodation and food, but options are listed below.

Schedule

TBA

Participants

Directions to Inria

Traveling to Paris

Accommodation and Food

Accommodation

Here are some suggestions for accommodation. The number of stars is the hotel's official rating and is also an indication of its price range. The hotel's distance to Inria is indicated in minutes on foot.

The following hotels are closest to Inria Paris:

The following hotels are a bit further away:

Bed and breakfast:

Food

Here are some places where you can find food near Inria.

Pastry, bread, and sandwiches:

Drinks:

Restaurants:


Big thanks to François Pottier (Inria, Paris, France) for his help with the organization of this meeting!