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.

  • A Formal Framework for the Specification, Verification and Validation of Robotic Skills Composition for Autonomous Mission Design. Baptiste Pelletier, Charles Lesire, Karen Godary-Dejean, David Doose, Christophe Grand and Mathieu Rognant

  • ProSkill: A formal skill language for acting in robotics. Felix Ingrand

  • UAS procedures model with system architecture for safety analysis. Charles Mathou, Kevin Delmas, Pierre de Saqui-Sannes and Jean-Charles Chaudemar   (SysCon2023)

  • Verification for Object Detection - IBP IoU. Noémie Cohen, Mélanie Ducoffe, Ryma Boumazouza, Christophe Gabreau, Claire Pagetti, Xavier Pucel and Audrey Galametz   (preprint)

  • Towards Automatic Detection of Deadlocks in SCOOP. Bertrand Meyer   (preprint)

  • Towards proved formal specification and verification of STL operators as synchronous observers. Céline Bellanger, Pierre-Loic Garoche, Matthieu Martel and Célia Picard   (FMAS2023)

  • Towards Verifying Security Policies for Infinite-state Systems. Quentin Peyras, Ghada Gharbi and Souheib Baarir

  • A Verification Algorithm relying on First-Order Buchi Automata. Quentin Peyras, Julien Brunel and David Chemouil

  • High Multiplicity RCPSP with Compound Activities and Learning Effect. Duc Anh Le, Stéphanie Roussel, Anouck Chan and Christophe Lecoutre   (ROADEF2024)

  • Modeling bigraphs with Coq. Cécile Marcon, Cyril Allignol, Celia Picard and Xavier Thirioux

  • Democratic Forking and Isabelle/HOL. Jan-Georg Smaus

  • Enabling Floating-Point Arithmetic in the Coq Proof Assistant. Érik Martin-Dorel, Guillaume Melquiond and Pierre Roux   (J. Autom. Reason.)

  • Project and Conquer: Fast Quantifier Elimination for Checking Petri Nets Reachability. Nicolas Amat, Silvano Dal Zilio and Didier Le Botlan   (VMCAI2024)

  • Automated Polyhedral Abstraction Proving. Nicolas Amat, Silvano Dal Zilio and Didier Le Botlan   (PetriNets2023)

  • Formal verification of a fault-tolerant MAC-based hardware accelerator with SMT. Anthony Faure-Gignoux, Kevin Delmas, Adrien Gauffriau and Claire Pagetti

  • From Event-B to Lambdapi. Anne Grieu

  • Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework. Peter Riviere, Neeraj Singh, Yamine Ait Ameur and Guillaume Dupont   (NFM2023)

Comité de programme

Jean-Paul Bodeveix, Mamoun Filali, Jean-Baptiste Raclet, Marc Pantel, Philippe Quéinnec, Pascal Sotin, Iulian Ober, Julien Brunel, Claire Pagetti, Pierre Roux, Silvano Dal Zilio, Pierre-Emmanuel Hladik, Didier Le Botlan, Matthieu Roy, Christophe Garion