The annual meeting of the GT MFS is organised by the Working Group (GT) "Formal Methods for Security" (MFS) of the GdR Sécurité Informatique. Its goal is to allow everyone in the formal methods community interested by applications to security to meet and discuss around these subjects. The meeting welcomes presentations by researchers, including PhD students, and practicioners.

In 2023 the meeting took place from March 28 to 30 (arrival on March 27 and departure on March 31 possible) at Station Biologique de Roscoff, and was organised by Charlie Jacomme (Inria Paris) and Joseph Lallemand (CNRS, Irisa).

You can find the slides of the presentations here.

The program is here!

The activities will start at 9:00 on Tuesday, and finish at around 18:00 on Thursday.

Keynotes will last about 1 hour (incl. 10min for questions), and regular talks 25 minutes (incl. 5min for questions).

Registration closed on 15/02/2023.

Registration includes accommodation and all meals from Monday evening (March 27th) to Friday morning (March 31st).

Registration fees are 500€ for permanent researchers and 250€ for non-permanent researchers (PhD students, post-docs, etc.).

• Stéphanie Delaune (CNRS, Irisa, Rennes)
• David Monniaux (Verimag, Grenoble)
• Tamara Rezk (Inria, Sofia)

• 16/01/23 Submission Deadline
• 03/02/23 Notifications
• 15/02/23 Registration Deadline

On Wednesday afternoon, there will be a two hour tour by boat of the "Baie de Morlaix", followed by a two hour discovery of "Ile de Batz".