La XXIX° édition des journées FAC aura lieu les 3 et 4 avril 2024 au LAAS-CNRS. 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. Programme des journées Mercredi 3 avril 09h00 : accueil et présentation des journées 09h30-10h30 : Invited talk. Laurent Mounier (Vérimag, Univ. Grenoble): Vérification formelle pour la détection et l’analyse de vulnérabilités logicielles

La XXIX° édition des journées FAC aura lieu les 3 et 4 avril 2024 au LAAS-CNRS. 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. Programme des journées En attendant l’affichage du programme définitif de ces journées, vous trouverez ci-dessous la liste des présentations acceptées.

La XXIX° édition des journées FAC aura lieu les 3 et 4 avril 2024 au LAAS-CNRS. 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 25 mars via le formulaire suivant. https://www.laas.fr/registration/fac2024   inscrivez-vous   » Conférenciers invités Cette année nos conférenciers invités sont: Caterina Urban (INRIA Paris, équipe ANTIQUE et ENS): Machine Learning Interpretability and Verification Machine learning (ML) software is increasingly being employed in high stakes or sensitive applications.

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.

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. Philippe Schnoebelen (IMAG, Grenoble) Méthodes de traductions pour le model-checking de la logique temporelle avec passé.

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.