La XXVIII° édition des journées FAC aura lieu les 5 et 6 avril 2023 à l’ISAE.

Inscriptions

La participation aux journées est gratuite.

Afin de pouvoir dimensionner correctement les pauses-café et les repas, il est demandé de s’inscrire au plus tard le dimanche 3 avril via le formulaire suivant.

https://www.laas.fr/registration/fac2023

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.

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.

Comité de programme

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.