Programme
|
‹
mercredi 23 mars 2022 |
07:00
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
20:00
21:00
22:00
|
›10:30 (1h)
GT MFS
Constant Time - Chair: Adrien Koutsos
›11:50 (40min)
GT MFS
Protocol Verification 2 - Chair: Yannick Chevalier
›16:30 (1h)
GT MFS
Computational Verification - Chair: Steve Kremer
›18:00 (40min)
GT MFS
Program Verification 2 - Chair: Laurent Mounier
|
|
Session |
|
Discours |
|
Logistique |
|
Pause |
|
Sortie |
|