Les journées du Groupe de Travail "Méthodes Formelles pour la Sécurité" visent à réunir les membres de la communauté des méthodes formelles intéressés par les applications à la sécurité. Ces journées offrent l'occasion d'échanger autour de ces thèmes, et comprennent des présentations de chercheurs, y compris de doctorants et d'industriels.
En 2024, nous continuons sur le même format que l'édition précédente : un évènement de trois jours, avec un programme comprenant des exposés invités destinés à un public large, des exposés plus courts visant à présenter des travaux de recherche récents sur des sujets plus pointus, ainsi que du temps pour les échanges informels. Une session de discussion autour d'outils est également prévue.
[English version below]
Journées Annuelles du GT Méthodes Formelles pour la Sécurité
————————————————————
Les journées du Groupe de Travail « Méthodes Formelles pour la Sécurité » visent à réunir les membres de la communauté des méthodes formelles intéressés par les applications à la sécurité. Ces journées offrent l’occasion d’échanger autour de ces thèmes, et comprennent des présentations de chercheurs, y compris de doctorants et d’industriels.
En 2024, nous continuons sur le même format que l’édition précédente : un évènement de trois jours, avec un programme comprenant des exposés invités destinés à un public large, des exposés plus courts visant à présenter des travaux de recherche récents sur des sujets plus pointus, ainsi que du temps pour les échanges informels. Une session de discussion autour d’outils est également prévue.
Nous encourageons particulièrement les jeunes chercheuses et chercheurs (doctorat, postdoctorat, ATER, etc.) à soumettre un résumé de leurs travaux, y compris des travaux en cours ou non encore publiés.
Date et lieu
———————-
Les journées 2024 auront lieu du 3 au 5 avril (arrivée le 2 au soir, et départ le 6 au matin possibles)
Appel à Contributions
———————-
Un appel à contribution pour les présentations courtes est ouvert. Le format des soumissions est un « extended abstract » d’environ une page, au format PDF.
Dates importantes
———————-
– 15/01/2024 : Date limite pour les soumissions
– 05/02/2024 : Notifications aux auteurs
– 23/02/2024 : Date limite pour les inscriptions
– 03-05/04/2024 : Journées GT MFS
(toutes les deadlines sont à 23h59, UTC+1)
Session outils
———————
Le programme comprendra de nouveau cette année une session outils, très appréciée dans les éditions précédente.
Il s’agit de donner l’occasion aux concepteurs d’outils d’analyse formelle (e.g. vérifieurs, prouveurs,
analyseurs statiques, etc.), nombreux dans notre communauté, de présenter ces logiciels et leurs progrès récents aux utilisateurs.
Si vous souhaitez venir présenter un outil, n’hésitez pas à nous contacter directement par email
En espérant vous y retrouver nombreux,
Lesly-Ann Daniel & Adrien Koutsos,
Organisateurs des journées GT MFS 2024
Annual Meeting of the working group « Formal Methods for Security »
————————————————————
The annual meeting of the working group « Formal Methods for Security » aims to bring together members of the formal methods community interested in applications to security. This meeting provides an opportunity to exchange ideas on these topics and includes presentations from researchers, including PhD students, and practitioners.
In 2024, we follow the same format as the previous editions: a three-day event, with a program featuring invited talks suitable for a large audience, as well as shorter contributed talks presenting recent work on more specialised subjects, and of course time for informal meetings and discussions. A session dedicated to tools and software is also planned.
We particularly invite young researchers (PhD students, postdocs, ATER, …) to submit an abstract
and present their work, including ongoing or unpublished work.
Date and location
———————-
Call for Contributions
———————-
A call for contributions for short presentations is open. The submission format is an « extended abstract » of approximately one page, in PDF format.
Important dates
———————-
– 15/01/2024: Submission deadline
– 05/02/2024: Acceptance notifications
– 23/02/2024: Registration deadline
– 03-05/04/2024: Event
(all deadlines are at 23h59, UTC+1)
Tool session
———————-
The program will once again include a tool session, which was much appreciated last years.
Many members of our community design and develop formal analysis software (e.g. verifiers, provers,
static analysers, …). The goal of this session is to give them an opportunity to showcase these tools,
and their new features, to the users.
We look forward to seeing you there!
Lesly-Ann Daniel & Adrien Koutsos
