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. La participation est gratuite. Pensez à vous inscrire. Vous pouvez aussi trouver comment se rendre à 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 :

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.

Ces journées ont été organisées par le groupe IFSE du RTRA STAE. Les journées FAC'2015 ont eu lieu les 22 et 23 avril 2015 à IRIT - SITE ENSEEIHT (SALLE DES THÈSES, C002). Programme des journées : Mercredi 22 avril 9h00 : accueil 9h30-10h30 : Ahmed Bouajjani Paris 7, LIAFA : Verification of Concurrent Programs: Decidability, Complexity, Reductions. abstract: Concurrency is omnipresent in computer systems, at all levels, from applications relying on high level synchronization mechanisms and using abstract data structures, to low level code implementing concurrent/distributed data structures and system services over multi-core architectures/large-scale networks.

Ces journées ont été organisées par le groupe IFSE du RTRA STAE. Les journées FAC'2014 ont eu lieu les 16 et 17 avril 2014 à l’ONERA, salle du boulon. Programme des journées : Mercredi 16 avril 9h00 : accueil 9h15 : ouverture des journées par W. Wiels, adjointe au directeur du DTIM 9h30-10h30 : John Mullins PolyTech Montréal: Vérification et mesure du flux d’information abstract: Les politiques de sécurité du flux d'information expriment des restrictions sur l'information qui peut être acquise par les utilisateurs d'un système.

Ces journées ont été organisées par le groupe IFSE du RTRA STAE. Les journées FAC'2013 ont eu lieu les 10 et 11 avril 2013 au LAAS. Programme des journées : Mercredi 10 avril 9h00 : accueil 9h30-10h30 : Luís Soares Barbosa (HASLab - INESC TEC & Universidade do Minho, Portugal): Introducing fault propagation in a component calculus abstract: In the specification of component-based systems, relations nicely capture nondeterminism and vagueness of requirements.

Ces journées ont été organisées par le groupe IFSE du RTRA STAE. Les journées FAC'2012 ont eu lieu les 4 et 5 avril 2012, dans l’auditorium de l’IRIT-UPS. Programme des journées : Mercredi 4 avril Accueil Café à partir de 9h00 Conférencier invité Hume: a functionally-based Domain Specific Language Targeting real-time Embedded Systems Kevin Hammond The University of St Andrews 10h30-11h00 Pause Techniques de verification 11h00-11h30 A Generic Ellipsoid Abstract Domain for Linear Time Invariant Systems P.