FM 2024

FM 2024 est le 26e Symposium international sur les méthodes formelles, organisé par Formal Methods Europe (FME), une association indépendante.Vise à promouvoir l'utilisation et la recherche de méthodes formelles dans le développement de logiciels. Le Symposium FM rassemble avec succès des chercheurs et des utilisateurs industriels autour d'articles originaux, d'ateliers, de tutoriels, de rapports d'outils, de projets et de recherches doctorales en cours sur la recherche et les expériences industrielles. FM 2024 est à la fois une occasion de célébration et une plateforme permettant aux chercheurs et praticiens passionnés d’horizons divers d’échanger des idées et de partager des expériences.

FM 2024 se concentrera sur le développement et l'application de méthodes formelles dans un large éventail de domaines, notamment l'intelligence artificielle fiable, les logiciels, les systèmes informatiques, les systèmes de systèmes, les systèmes cyber-physiques, la sécurité, l'interaction homme-machine, la fabrication, la durabilité, l'énergie, les transports, les villes intelligentes, les soins de santé et la biologie. Nous accueillons particulièrement favorablement les communications sur les techniques, les outils et les expériences dans des contextes interdisciplinaires. Nous acceptons également les communications sur les expériences d’application de méthodes formelles dans des contextes industriels et sur la conception et la validation d’outils de méthodes formelles.

Les sujets du FM 2024 incluent, sans s'y limiter :

Méthodes formelles interdisciplinaires :Démontrer des techniques, des outils et de l’expérience dans l’utilisation de méthodes formelles dans un cadre interdisciplinaire. Les méthodes formelles en pratique comprennent : les applications industrielles des méthodes formelles, l'expérience avec les méthodes formelles industrielles, les rapports d'utilisation d'outils et les expériences sur des problèmes difficiles. Nous encourageons les auteurs à expliquer comment les méthodes formelles surmontent les problèmes, améliorent les conceptions ou fournissent de nouvelles perspectives.

Outils de méthodes formelles :Progrès dans la vérification automatisée, la vérification des modèles et les tests de méthodes formelles, l'intégration d'outils, les environnements de méthodes formelles et la validation expérimentale des outils. Les auteurs sont encouragés à démontrer empiriquement que le nouvel outil ou environnement fait progresser l’état de l’art.
Méthodes formelles en ingénierie logicielle et systèmes : processus de développement utilisant des méthodes formelles, lignes directrices pour l'utilisation des méthodes formelles et intégration des méthodes. Les auteurs sont encouragés à évaluer les innovations de processus en termes d’améliorations qualitatives ou quantitatives. Des recherches et des évaluations empiriques sont également sollicitées.

Bases théoriques des méthodes formelles :Tous les aspects de la théorie liés à la spécification, à la vérification, au raffinement et à l'analyse statique et dynamique. Les auteurs sont encouragés à expliquer comment leurs résultats peuvent contribuer à résoudre des problèmes réels en utilisant des méthodes ou des outils formels.

Thèmes des systèmes embarqués : FM 2024 organisera une session spéciale sur les systèmes embarqués en collaboration avec ACM SIGBED. Ce cours se concentrera sur les théories, les méthodes et les outils de nature formelle et appliqués aux systèmes embarqués, en temps réel et cyberphysiques.