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 in applications to security to meet and discuss around these subjects. The meeting welcomes presentations by researchers, including PhD students, and practitioners.

In 2024, the meeting will take place from April 3 to 5 (arrival on April 2 and departure on April 6 are possible) at La Vieille Perrotine, and is organised by Lesly-Ann Daniel (KU Leuven) and Adrien Koutsos (Inria Paris).

The list of presentations is out!

• 15/01/2024: Submission Deadline
• 22/01/2024 (23h59 Paris Time): Extended Submission Deadline
  
• 05/02/2024: Notifications
• 23/02/2024: Registration Deadline
• 03-05/04/2024: Event

Registration are now closed (it was here until 23/02/2024).
You can edit your information after registration if needed: link.

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

Registration includes accommodation and all meals from Tuesday evening (April 2) to Saturday morning (April 6).

It also includes an organized bus transfer: La Rochelle from/to La Vieille Perrotine (details in Location).

If you wish to pay by "bon de commande", please contact the event organisers at gtmfs2024@sciencesconf.org so that we forward you the necessary document.

The submission format was an "extended abstract" of approximately one page, in PDF format. The event does not have proceedings and abstracts will not be published.

A tool session will provide room for informal discussions about the various tools developed in the community. To participate and present your tool, please send an email to gtmfs2024@sciencesconf.org, preferably before 05/02/24.

• Steve Kremer (Inria, Loria, Nancy)
• Ioana Boureanu (University of Surrey, UK)
  
• Marco Patrignani (DISI, University of Trento, Italy)
  

On Thursday afternoon, there will be visit of Château d'Oléron and a guided tour of its Citadelle. The most courageous of us may reach Château d'Oléron from the seminar center by bike (available from the seminar center).