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é.

FAC'97

  • Jean-Raymond Abrial (Consultant indépendant) Construction d’automatismes industriels avec B.

  • Michel Sintzoff (Université de Louvain-La-Neuve) Abstraction et composition en conception de logiciel.

FAC'99

  • Guy Juanole (LAAS-CNRS) Sur le modèle réseaux de Petri temporisés stochastiques et le concept d’automate quotient quantifié.

  • Zoubir Mammeri (IRIT-UPS) Problèmes de spécification et de garantie des contraintes temporelles dans les systèmes temps réel.

  • Olivier Roux (IRCyN, Ecole Centrale de Nantes) Temporiser pour réduire : une contribution à la résolution du problème de l’explosion combinatoire.

FAC'2000

  • Claude Kirchner (LORIA et INRIA, Nancy) ELAN ou la programmation par réécriture.

  • Yves Métivier (LaBRI-IUF, Talence) Graph Relabelling: a Tool for Encoding, Proving and Studying Distributed Algorithms.

FAC'2001

  • Alain Finkel (LSV-ENS, Cachan) Composition et vérification de systèmes de transitions bien structurés.

  • Pierre Siron (DTIM-ONERA) Simulation distribuée et standard HLA : infrastructures d’exécution, applications et problèmes.

FAC'2002

  • Hubert Garavel (VASY-INRIA, Grenoble) Panorama des outils CADP.

  • François Terrier (LIST-CEA) UML, de la programmation à la modélisation : vers le développement basé sur les modèles des systèmes embarqués.

FAC'2003

  • Serge Haddad (Lamsade - Université Paris-Dauphine) Algèbre temporisée pour la conception, l’exécution et l’analyse de services Web.

  • Bruno Marre (DRT/DTSI/SLA, CEA Saclay) GATeL: Génération automatique de séquences de test à partir de descriptions LUSTRE.

FAC'2004

  • Patricia Bouyer (LSV-ENS, Cachan) Les automates temporisés, de la théorie à la pratique.

  • Jean-Pierre Elloy (IRCCyN, Nantes) Présentation de la démarche de conception des architectures logicielles embarquées dans l’automobile: de la définition des exigences à l’implantation des tâches exécutables. Le rôle et les démarches de modélisation et de validation dans ce schéma.

FAC'2005

  • Paul Caspi (VERIMAG, Grenoble) Approximation, échantillonnage et vote pour des systèmes mixtes continus-discrets : vers une approche unifiée

  • Vlad Rusu (IRISA Rennes) Combiner la vérification et le test de conformité pour la validation de systèmes réactifs.

FAC'2006

  • Charles André (Université de Nice-Sophia Antipolis/CNRS) Langages Synchrones - Applications, Fondements et Evolutions.   ()

FAC'2007

  • Alain Griffault (LABRI, Equipe Méthodes Formelles) Conceptions Formelles - L’utilisation de vérificateurs de modèles pour débugger des cahiers des charges et proposer des solutions architecturales valides.

  • Marc Pouzet (LRI, Equipe Démons) Une extension conservative du data-flow synchrone avec des machines à état.

FAC'2008

  • Franck Cassez (IRCCyN, Nantes) Contrôle des systèmes temporisés.

  • Ana Rosa Cavalli (Institut TELECOM / TELECOM & Management SudParis, Département Logiciels-Réseaux) Techniques de monitorage pour la vérification de propriétés.

FAC'2009

  • David Schmidt (Computing and Information Sciences Department, Kansas University) An informal introduction to software architecture.

FAC'2010

  • José Luiz Fiadeiro (Department of Computer Science - University of Leicester) Foundations of Service-Oriented Modelling.

  • Axel van Lamsweerde (Département d’Ingénierie Informatique (INGI) - Université catholique de Louvain (UCL)) Requirements Engineering: From Craft to Discipline.

FAC'2011

  • Jean-Francois Raskin Département d’Informatique Université Libre de Bruxelles (ULB) Safraless Procedures for Timed Specifications.

  • Laurent Fribourg LSV, ENS Cachan Approximations, regroupement et contrôle de trajectoires dans les systèmes hybrides.

FAC'2012

  • Benoît Caillaud INRIA Rennes Sémantique non-standard de systemes hybrides et applications à la compilation d’un langage hybride

  • Kevin Hammon Univ. of St Andrews Hume: a functionally-based Domain Specific Language Targeting real-time Embedded Systems.

FAC'2013

  • Luís Soares Barbosa HASLab - INESC TEC & Universidade do Minho, Portugal Introducing fault propagation in a component calculus

  • Stephan Merz LORIA Lessons Learnt During The Verification of Distributed Consensus Algorithms

FAC'2014

  • John Mullins PolyTech Montréal Vérification et mesure du flux d’information

  • Nicolas Markey LSV, ENS Cachan Temporal logics for multi-agent systems

FAC'2015

  • Ahmed Bouajjani, LIAFA, Paris 7 Verification of Concurrent Programs: Decidability, Complexity, Reductions.

  • Stavros Tripakis U. Berkeley & Aalto Model-based system design.

FAC'2016

  • Yliès Falcone, Univ. Grenoble I — LIG On the Runtime Enforcement of (Timed) Properties.

  • Didier Lime, École Centrale de Nantes — IRCCyN Parameter Synthesis for Real-time Systems.

FAC'2017

  • Catherine Dubois, ENSIIE Interopérabilité des prouveurs : Dedukti, Zenon et FoCaLize à la rescousse.

  • Chantal Keller, LRI, Université Paris Sud Les prouveurs automatiques pour la preuve et le test formel.

FAC'2018

  • Katell Morin-Allory, TIMA / Univ. Grenoble Alpes Assertions et systèmes matériels.

  • Laure Gonnord, University of Lyon / LIP / Inria Experiences in designing scalable static analyses.

FAC'2019

  • Karine Heydemann, (LIP6 / Univ. Pierre et Marie Curie): Attaques en faute: modélisation, sécurisation et analyse de robustesse de code.

  • Pascal Fontaine, (LORIA / INRIA & Univ. Lorraine): Quantifiers and SMT.

FAC'2021

FAC'2023