Program

‹ Thursday, March 30, 2023
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
›10:00 (30min)
Coffee break
›10:30 (1h15)
Tools for Protocol Analysis
chair: Guillaume Scerri
›13:00 (1h)
Lunch
›14:15 (50min)
Protocol Analysis
chair: Alexandre Debant
›15:05 (50min)
Program Verification
chair: Frédéric Besson
›15:55 (30min)
Coffee break
›16:25 (1h35)
Tool Session
Session
Speech
Logistics
Break
Tour
Online user: 2 Privacy
Loading...