Location

The 2023 annual meeting of the WG "Formal Methods for Security" will take place at Station Biologique de Roscoff.

Address

Train and Bus

The closest train station is "Roscoff", with 10 minutes of walking. The train station is however currently not accessible by train, a 40 minutes ride in bus from Morlaix is needed.

To note, the conference and meals will be held at the Station Biologique, but housing will be in parteneer hotels within walking distnace, to be confirmed based on the number of people.