Planning

Tuesday, October 1, 2019
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
›10:00 (30min)
Coffee break
›10:30 (40min)
Loose-stabilization in the population protocol model
Toshimitsu MASUZAWA
› C3
›11:10 (40min)
Model-Checking Robot Algorithms in Euclidean Space
Xavier DÉFAGO
› C3
›12:30 (1h30)
Lunch
›14:00 (40min)
CANCELLED Toward a Coq-verified SQL compiler
Véronique BENZAKEN
›14:45 (2h40)
Tutorials
Pierre COURTIEU / Lionel RIEG
› C3
Session
Speech
Logistics
Break
Tour
Online user: 10