La XXX° édition des journées FAC aura lieu les 2 et 3 avril 2025 à l’ISAE, en collaboration avec l’ONERA. 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 participation est gratuite. Pensez à vous inscrire. Vous pouvez aussi trouver comment se rendre à l’ISAE. Mercredi 2 avril 09h00 : accueil et présentation des journées 09h30-10h30 : Invited talk.

ISAE 10 av. Edouard Belin 31055 Toulouse Les journées se dérouleront dans le bâtiment 61, amphithéâtre 4. 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 26 mars). (Attention, le nombre de places de parking est très restreint.)

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; …