Program

‹ 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)
Breakfast
›10:00 (30min)
Coffee break
›10:30 (1h)
GT MFS
Constant Time - Chair: Adrien Koutsos
›11:30 (20min)
Break
›11:50 (40min)
GT MFS
Protocol Verification 2 - Chair: Yannick Chevalier
›12:30 (1h30)
Lunch
›15:30 (30min)
Business Meeting
›16:00 (30min)
Coffee break
›16:30 (1h)
GT MFS
Computational Verification - Chair: Steve Kremer
›17:30 (30min)
Break
›18:00 (40min)
GT MFS
Program Verification 2 - Chair: Laurent Mounier
›19:00 (1h)
Rump Session
›20:00 (2h)
Dinner
Session
Speech
Logistics
Break
Tour
Online user: 1 Privacy
Loading...