Program

Tuesday, March 28, 2023 ›
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
›8:45 (15min)
Welcome
Charlie Jacomme & Joseph Lallemand
›10:00 (30min)
Coffee break
›10:30 (50min)
Program Verification
chair: Benjamin Farinier
›11:20 (20min)
Break
›11:40 (50min)
Protocol Analysis
chair: Itsaka Rakotonirina
›13:00 (1h)
Lunch
›14:15 (50min)
Real Time
chair: Jannik Dreier
›15:05 (1h15)
Logic for Security
chair: Bruno Blanchet
›16:20 (30min)
Coffee break
›16:50 (50min)
Constant time
chair: Pierre Wilke
›17:40 (50min)
Rump Session
›19:30 (1h30)
Dinner
Session
Speech
Logistics
Break
Tour
Online user: 1 Privacy
Loading...