FURETHERMORE : FUlly REliable THeorems in an ERa of MObility and REdundancy
1-1 oct. 2019 Villeurbanne (France)
FR
EN
Connexion
Mot de passe oublié ?
Créer un compte
Navigation
Accueil
Sponsors
Programme
Infos tutoriel
Galerie photo
Office du tourisme de Lyon
Transports urbains Lyon
SUPPORT
@ Contact
Programme
Semaine
Mar. 01
Liste
mardi 1 octobre 2019
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
›9:00 (1h)
Indistinguishability and its importance in distributed computing and formal methods
Sergio Rajsbaum
› C3
9:00 - 10:00 (1h)
Indistinguishability and its importance in distributed computing and formal methods
C3
Sergio Rajsbaum
›10:00 (30min)
Pause café
10:00 - 10:30 (30min)
Pause café
›10:30 (40min)
Loose-stabilization in the population protocol model
Toshimitsu MASUZAWA
› C3
10:30 - 11:10 (40min)
Loose-stabilization in the population protocol model
C3
Toshimitsu MASUZAWA
›11:10 (40min)
Model-Checking Robot Algorithms in Euclidean Space
Xavier DÉFAGO
› C3
11:10 - 11:50 (40min)
Model-Checking Robot Algorithms in Euclidean Space
C3
Xavier DÉFAGO
›11:50 (40min)
Quantifying "eventual" in eventual correctness by probabilistic model checking
Sébastien TIXEUIL
› C3
11:50 - 12:30 (40min)
Quantifying "eventual" in eventual correctness by probabilistic model checking
C3
Sébastien TIXEUIL
›12:30 (1h30)
Déjeuner
12:30 - 14:00 (1h30)
Déjeuner
›14:00 (40min)
CANCELLED Toward a Coq-verified SQL compiler
Véronique BENZAKEN
14:00 - 14:40 (40min)
CANCELLED Toward a Coq-verified SQL compiler
Véronique BENZAKEN
›14:45 (2h40)
Tutoriels
Pierre COURTIEU / Lionel RIEG
› C3
14:45 - 17:25 (2h40)
Tutoriels
C3
Pierre COURTIEU / Lionel RIEG
Session
Discours
Logistique
Pause
Sortie
Personnes connectées :
7
Chargement...