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 26 mars 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:

Si vous souhaitez présenter un de vos travaux à FAC, vous êtes invités à soumettre une déclaration d’intention comportant le titre de votre contribution ainsi qu’un résumé d’une centaine de mots. Nous prenons en compte deux catégories de contributions: des articles récemment publiés ou en cours de publication, pour lesquels il n’y aura pas de processus de relecture. des articles non publiés, qui seront soumis à un processus de relecture avec retour de commentaires aux auteurs.

INP-ENSEEIHT 2, rue Charles CAMICHEL 31000 TOULOUSE Les journées se dérouleront dans le bâtiment XXX. 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).

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