Wednesday, March 23, 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
›7:45 (1h15)
›10:00 (30min)
›10:30 (1h)
GT MFS
Constant Time - Chair: Adrien Koutsos
›11:30 (20min)
›11:50 (40min)
GT MFS
Protocol Verification 2 - Chair: Yannick Chevalier
›12:30 (1h30)
›15:30 (30min)
›16:00 (30min)
›16:30 (1h)
GT MFS
Computational Verification - Chair: Steve Kremer
›17:30 (30min)
›18:00 (40min)
GT MFS
Program Verification 2 - Chair: Laurent Mounier
›19:00 (1h)
›20:00 (2h)
Session
Speech
Logistics
Break
Tour