Location

The 2024 annual meeting of the WG "Formal Methods for Security" will take place at La Vielle Perrotine.

Address

CAES du CNRS
La Vieille Perrotine   
140, route des Allards
17310 Saint-Pierre-d'Oléron

Organized Bus Transfer

The simplest way to reach the seminar center is to take a train to La Rochelle TGV station, from where a grouped bus departure will be organized. If you cannot make it to the grouped bus transfer, you can use regular bus connections (see below).

We will organize a grouped bus transport from/to La Rochelle TGV station:
- Arrival: Tuesday, April 2nd, depart at 17h30 17h50 from La Rochelle train station,
- Departure: Saturday, April 6th, depart at 8h45 from La Vieille Perrotine (arrival planned before 10h30 at La Rochelle train station).

Train

The closest TGV stations are at La Rochelle and Surgères. There is also a TER station at Rochefort.

From these stations, it is then necessary to take a bus (see below) to reach the bus station at Dolus d’Oléron, from which transfer to the final destination will be organized by the CAES.

Bus

Departmental bus connections from Surgères, Rochefort and La Rochelle TGV station are possible through lines 6, 6E and 7 (see website).

Plane

The closest airports are at La Rochelle (1h15) or Bordeaux (2h).