La XXX° édition des journées FAC aura lieu les 2 et 3 avril 2025 à l’ISAE, en collaboration avec 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://www.laas.fr/fr/formulaires/fac2025/   inscrivez-vous   » Conférenciers invités Cette année nos conférenciers invités sont:

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