FAC'94 Ivan Lavallée (Université Paris VII) Construire des algorithmes distribués à travers des schémas récursifs. FAC'95 Luc Bougé (ENS Lyon) Du parallélisme de contrôle au Parallélisme de données : le point de vue de la validation de programmes. Robert de Simone (INRIA-Sophia) Méthodes de vérification par interprétation en modèles finis. FAC'96 Dominique Mery (CRIN-Université Nancy 1) De la transformation de prédicats à la transformation de programmes.

La XXXI° édition des journées FAC aura lieu les 8 et 9 avril 2026 à l’ENSEEIHT, avec le support de l’ONERA. INP-ENSEEIHT, 2, rue Charles CAMICHEL 31000 TOULOUSE salle des thèses (C002) (se présenter au poste de garde.) Ces journées sont organisées par le groupe IFSE du RTRA STAE avec un soutien spécial de l’ENAC, l’INSA Toulouse, ISAE-Supaero, l’ONERA, Toulouse-INP et de l’Université Toulouse III, Paul Sabatier.

Vous l’avez peut-être remarqué en naviguant sur le site des journées FAC, quelques images s’invitent pour illustrer l’esprit du projet. Pas de clichés issues des banques d’images, et pas uniquement des photos de laboratoires, … mais deux images qui résument la richesse et la diversité de nos échanges. Évidemment, le point commun entre ces deux images, c’est Toulouse. Mais au-delà de la simple référence géographique, ces images symbolisent quelque chose de bien plus profond : la collaboration.

Le groupe de travail IFSE est un groupe d’animation et de réflexion impliqué dans l’ingénierie formelle des systèmes embarqués. Les activités du groupe, dont l’organisation des journées FAC, ont été soutenues par un projet du RTRA STAE et prolongent le travail effectué dans le groupe CNRS FERIA, dont les participants étaient l’IRIT, le LAAS-CNRS et l’ONERA. L’ingénierie système englobe l’ensemble des activités, méthodes et outils liés aux développement des systèmes embarqués. Les principaux thèmes de recherches abordés par le groupe de travail IFSE concernent les aspects formels de ces activités: logique; preuve; modélisation; transformation et leur preuve d’exactitude; …