|
09:00 - 10:00
|
Indistinguishability and its importance in distributed computing and formal methods (C3) - Sergio Rajsbaum |
|
|
10:00 - 10:30
|
Coffee break |
|
|
10:30 - 11:10
|
Loose-stabilization in the population protocol model (C3) - Toshimitsu MASUZAWA |
|
|
11:10 - 11:50
|
Model-Checking Robot Algorithms in Euclidean Space (C3) - Xavier DÉFAGO |
|
|
11:50 - 12:30
|
Quantifying "eventual" in eventual correctness by probabilistic model checking (C3) - Sébastien TIXEUIL |
|
|
12:30 - 14:00
|
Lunch |
|
|
14:00 - 14:40
|
CANCELLED Toward a Coq-verified SQL compiler - Véronique BENZAKEN |
|
|
14:45 - 17:25
|
Tutorials (C3) - Pierre COURTIEU / Lionel RIEG |
|
