La XXVIII° édition des journées FAC aura 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.
Si vous souhaitez participer, inscrivez-vous rapidement. La participation aux journées est gratuite, mais l’inscription est obligatoire
Conférenciers invités
Cette année nos conférenciers invités sont:
- Cezara Drăgoi (Amazon Web Services): Reasoning about state machine replication
State machine replication protocols are the default mechanism for fault-tolerance in distributed systems. These are asynchronous systems where processes communicate by message passing, where messages may be dropped or delayed, or may processes crashing. Asynchrony and faults make these protocols tricky to reason about and therefore implementations buggy. In this talk we will look into alternatives more simple ways, to reason and develop these systems, inspired from the world of synchronous protocols. The talk presents a formalisation of the relation between synchronous and asynchronous fault-tolerant systems and it’s application in verification and execution environments.
- Jean-Christophe Filliâtre (LMF, Univ. Paris-Saclay): Why3, une plateforme pour la vérification déductive
Dans cet exposé, nous présentons l’outil Why3, une plateforme pour la vérification déductive de programmes développée au Laboratoire Méthodes Formelles (Université Paris-Saclay, CNRS, ENS Paris-Saclay / Inria Saclay). Cette plateforme est utilisée dans les milieux académiques et industriels pour la vérification d’algorithmes, de codes écrits dans langages tels que C, Ada ou OCaml, ou encore la vérification de protocoles cryptographiques. La plateforme Why3 est également exploitée pour enseigner la vérification de programmes. Cet exposé met en avant les atouts de la plateforme Why3 et décrit le cœur de métier de son équipe de développement.
Dates importantes
Étape | Date |
---|---|
Déclaration d’intention avec résumé : | 17 février 2023 |
Soumission de l’article complet : | 24 février |
Notification d’acceptation : | 17 mars |
Version finale de l’article : | 31 mars |
Journées FAC: | 5-6 avril - ISAE SupAero |
À propos des journées FAC
La « formalisation des activités concurrentes » constitue un thème majeur de l’informatique, et fait l’objet de nombreux travaux de recherche et de développement, aussi bien au niveau national qu’international.
Au niveau local, ce thème est traité par le groupe de travail IFSE du RTRA STAE, et par les équipes de plusieurs laboratoires toulousains: IRIT-CNRS-UPS-INPT, LAAS-CNRS, ONERA.
Le groupe IFSE, précédemment groupe SVF de la fédération CNRS FéRIA, organise entre autres les journées FAC. Ces journées ont pour objet de présenter des travaux toulousains sur le thème de la « formalisation des activités concurrentes » : méthodes, techniques d’analyse, environnements logiciels reposant sur des bases formelles et assistant la spécification, la conception, le développement et la mise au point de systèmes réactifs, répartis et coopératifs, de réseaux de communication, de systèmes critiques…
À bientôt aux journées FAC.
Jean-Paul Bodeveix, Julien Brunel, Silvano Dal Zilio, Mamoun Filali, Christophe Garion, Didier Le Botlan, Iulian Ober, Marc Pantel, Célia Picard, Philippe Quéinnec, Jean-Baptiste Raclet, Pierre Roux, Matthieu Roy, Pascal Sotin.