FM 2026
FM 2026 est le 27e Symposium international sur les méthodes formelles, organisé par l'European Formal Methods Organization (FME), une association indépendante qui œuvre pour la promotion de l'utilisation et de la recherche sur les méthodes formelles dans le développement de logiciels et de systèmes. Le symposium FM réunit avec succès chercheurs et utilisateurs industriels autour de communications originales, d'ateliers, de tutoriels, de rapports d'outils, de projets et de travaux de recherche doctorale en cours, liés à l'expérience de la recherche et de l'industrie. FM 2026 est à la fois un événement festif et une plateforme d'échange d'idées et de partage d'expériences pour des chercheurs et des praticiens passionnés issus d'horizons divers.
Date limite
Date limite finale pour soumettre des propositions ou des articles à la conférence ou à l'événement
03/12/2025 19:59:00
Résultats annoncés
Les organisateurs informent les soumissionnaires si leurs propositions ou articles sont acceptés
02/02/2026 00:00:00
Début de l'événement
Période pendant laquelle la conférence ou l'événement se déroule officiellement
18/05/2026 00:00:00
Fin de l'événement
Heure de fin de la conférence ou de l'événement
22/05/2026 00:00:00
Build AI with AI
From idea to launch — accelerate your AI development with free AI co-coding, out-of-the-box environment and best price of GPUs.