Programme

Lundi 11 juillet SESSION 1 (Salle Amphi RDC, LaBRI Bâtiment A30)

14:00 -> 15:00 Igor Walukiewicz
Concurrent systems need not be hard.

15:00 -> 15:30 *** COFFEE ***

15:30 -> 16:00 Antonio Casares-santos
Half-Positional Deterministic Büchi Automata.

16:00 -> 16:30 Théo Matricon
Markov Decision Processes meet Abstraction Refinement.

16:30 -> 17:00 James C. A. Main
Different strokes in randomised strategies: Revisiting Kuhn's theorem under finite-memory assumptions.


Mardi 12 juillet SESSION 2 (Salle Amphi RDC puis 076, LaBRI Bâtiment A30)

9:00 -> 10:00 Loïg Jezequel (en Amphi RDC)
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019.

10:00 -> 10:30  *** COFFEE ***

10:30 -> 11:00 Nicolas Amat (en salle 076)
Computing Linear Inductive Invariants for Petri Nets using Property Directed Reachability.

11:00 -> 12:00 *** TEMPS LIBRE ***



Mardi 12 juillet SESSION 3 (Salle Amphi RDC, LaBRI Bâtiment A30)

14:00 -> 15:00 Nathanael Fijalkow
Learning LTL.

15:00 -> 15:30 *** COFFEE ***

15:30 -> 16:20 Thomas Brihaye
Théorie des jeux, théorie des jeux évolutionnaires et applications.

16:20 -> 16:50 Loïc Germerie
Formalising Futures and Promises in Viper.


Mercredi 13 juillet SESSION 4 (Salle Amphi RDC, LaBRI Bâtiment A30)

9:00 -> 10:00 Sandrine Blazy
CompCert : vérification formelle avec Coq.

10:00 -> 10:30  *** COFFEE ***

10:30 -> 11:00 Nour Elhouda Souid
A Novel Approach for Supervisor Synthesis to Enforce Opacity of Discrete Event Systems.

11:00 -> 12:00  Saddek Bensalem
Development of verification methods and tools that scale and are usable by engineers.