La participation est gratuite. Pensez à vous inscrire. 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.

La XXXI° édition des journées FAC aura lieu les 8 et 9 avril 2026 à l’ENSEEIHT, avec le support de l’ONERA. Inscriptions La participation aux journées est gratuite. Afin de pouvoir dimensionner correctement les pauses-café et les repas, il est demandé de s’inscrire au plus tard le 31 mars, à 12h via le formulaire suivant. https://framaforms.org/inscription-aux-journees-fac-2026-1771494402   inscrivez-vous   » Conférenciers invités Cette année nos conférenciers invités sont:

INP-ENSEEIHT 2, rue Charles CAMICHEL 31000 TOULOUSE salle des thèses (C002) Les journées se dérouleront dans le bâtiment C, proche de la bibliothèque. Vous trouverez toutes les informations sur cette page. À votre arrivée, il faut se présenter au poste de garde où un badge vous sera remis (pour les personnes inscrites avant le 31 mars).

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.

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, sont soutenues par un projet du RTRA STAE. Ces activités continuent 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; …