C’est avec une profonde tristesse que nous apprenions, il y a un peu moins d’un an, le décès de Matthieu Roy, survenu le 26 mai 2024. Matthieu était un collègue et ami cher, reconnu pour son esprit brillant et sa curiosité intellectuelle. Il avait rejoint le LAAS-CNRS en 2004, après un doctorat en algorithmique répartie de l’Université de Rennes 1. Ses travaux ont couvert des domaines variés, allant de la théorie des systèmes répartis à l’analyse de la mobilité humaine, en passant par les systèmes embarqués et l’analyse de la sûreté de fonctionnement.

La XXX° édition des journées FAC a wu 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. Programme des journées Mercredi 2 avril 09h00 : accueil et présentation des journées 09h30-10h30 : Invited talk. Stefania Dumbrava (SAMOVAR et ENSIIE, équipe ACMES): Reliable Graph Data Processing at Scale: Challenges and Opportunities

La XXIX° édition des journées FAC a eu 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 XXVIII° édition des journées FAC a eu lieu les 5 et 6 avril 2023 à l’ISAE. Ces journées sont organisées par le groupe IFSE du RTRA STAE avec un soutien spécial de l’INSA Toulouse, de l’ISAE, de l’ONERA et de l’Université Toulouse III, Paul Sabatier. Programme des journées Mercredi 5 avril 09h00 : accueil présentation des journées 09h30-10h30 : Invited talk. Mathieu Martel : (LAMPS, Univ. Perpignan) Matrix Computations: In Seek of Frugality

La XXVII° édition des journées FAC a eu lieu les 14 et 15 octobre 2021 à l’ENAC (bâtiment Bréguet, amphithéâtre Bellonte, 7, avenue Édouard-Belin, Toulouse). Ces journées sont organisées par le groupe IFSE du RTRA STAE avec un soutien spécial de l’INSA Toulouse, de l’ISAE et de l’ENAC. Programme des journées Jeudi 14 octobre 09h00 : accueil présentation des journées

La XXVII° édition des journées FAC devait avoir lieu en avril 2020 à l’ISAE. Pour raison de crise sanitaire qu’il n’est pas necessaire de préciser, la réunion a dû être annulée. Nous souhaitions néanmoins garder une trace des exposés qui avaient été programmé et remercier chaleureusement nos collègues qui avaient proposé une présentation, ainsi que nos conférenciers invités, Cezara Drăgoi (INRIA & ENS Paris) et Jean-Christophe Filliatre (LRI, Université Paris Sud & CNRS / INRIA Saclay).

La XXVI° édition des journées FAC a eu lieu les 27 et 28 mars prochain à l’IRT Saint Exupéry (bâtiment B612, Toulouse). Ces journées sont organisées par le groupe IFSE du RTRA STAE avec un soutien spécial de l’INSA Toulouse. Programme des journées: Mercredi 27 mars 09h00 : accueil présentation des journées et actualités du chantier IFSE par Marc Pantel 09h30-10h30 : Karine Heydemann, (LIP6 / Univ. Pierre et Marie Curie): Attaques en faute: modélisation, sécurisation et analyse de robustesse de code.

La XXV° édition des journées FAC a eu lieu les 4 et 5 avril 2018 à l’IRIT - site UPS. Ces journées sont organisées par le groupe IFSE du RTRA STAE. Programme des journées Mercredi 4 avril 09h00 : accueil - présentation des journées et actualités du chantier IFSE par Marc Pantel 09h30-10h30 : Katell Morin-Allory, (TIMA / Univ. Grenoble Alpes) : Assertions et systèmes matériels. 10h30-11h00 : pause 11h00-12h00 : Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil Platforms. Veiga H.W., de Queiroz M.H., Farines JM., de Lima M.L

Ces journées sont organisées par le groupe IFSE du RTRA STAE. Les journées FAC'2017 se sont tenues les 29 et 30 mars à l’ONERA. Programme des journées : Mercredi 30 mars 09h00 : accueil 09h30-10h30 : Catherine Dubois, ENSIIE : Interopérabilité des prouveurs : Dedukti, Zenon et FoCaLize à la rescousse. 10h30-11h00 : pause 11h00-12h00 : systèmes distribués Asynchronous Communication Models: a Menagerie of Refinements. Florent Chevrou, Aurélie Hurault, Shin Nakajima, Philippe Quéinnec

Ces journées ont été organisées par le groupe IFSE du RTRA STAE. Les journées FAC'2016 ont eu lieu les 30 et 31 mars au LAAS. Programme des journées : Mercredi 30 mars 9h00 : accueil 9h30-10h30 : Yliès Falcone, Univ. Grenoble I — LIG : On the Runtime Enforcement of (Timed) Properties. 10h30-11h00 : pause 11h00-12h30 : sûreté de fonctionnement et politiques d’informations Développement automatique d’applications tolérantes aux fautes. K. Delmas, R. Delmas, C. Pagetti