FURETHERMORE : FUlly REliable THeorems in an ERa of MObility and REdundancy

Indistinguishability and its importance in distributed computing and formal methods

C3

Sergio Rajsbaum

Coffee break

Loose-stabilization in the population protocol model

C3

Toshimitsu MASUZAWA

Model-Checking Robot Algorithms in Euclidean Space

C3

Xavier DÉFAGO

Quantifying "eventual" in eventual correctness by probabilistic model checking

C3

Sébastien TIXEUIL

Lunch

CANCELLED Toward a Coq-verified SQL compiler

Véronique BENZAKEN

Tutorials

C3

Pierre COURTIEU / Lionel RIEG

Planning