JEUDI 30 NOVEMBRE
9h30 : Accueil (café)
10h-12h:
- Sarah Winter (IRIF), Strategies resilient to delay
- Ocan Sankur (IRISA), Timed Automata Verification and Synthesis via Finite Automata Learning
12h-14h: déjeuner
14h-16h:
- Stephan Merz (Inria Nancy), Specifying and Verifying Algorithms in TLA+
- Karine Altisen (Verimag), Interactive Proof for Self-Stabilizing Algorithms using PADEC : Squeezing Streams
16h-16h30: pause café
16h30-18h10: session « exposés courts »
Emily Clement (IRIF), Quentin Dauprat (GREYC), James Main (UMONS), Thomas Vigouroux (VERIMAG), Lucie Guillou (IRIF)
VENDREDI 1er DECEMBRE
9h-10h:
- Hugo Gimbert (LaBRI), Distributed Asynchronous Games: Decidable and Undecidable Problems
10h-10h30: pause café
10h30-12h10: session « exposés courts »
Alexandre Terefenko (UMONS/IRISA), Isa Vialard (LMF), Lucas Bueri (VERIMAG), Gaetan Staquet (UMONS), Uli Fahrenberg (EPITA)
12h-14h: déjeuner
14h-16h:
- Raphaëlle Crubillé (LIS), Symbolic protocol verification with dice: process equivalences in the presence of probabilities
- Ahmed Bouajjani (IRIF), On the verification of concurrent programs under weak consistency models
16h-17h: Clôture et pause café