Programme
Programme of main conferences from Monday to Thursday. Best Paper candidates are highlighted in yellow and by asterisk.
Tuesday 06 May
09:00
José Meseguer
10:00
Coffee Break
TACAS: None
Room:
FASE: None
Room:
FOSSACS: None
Room:
RUST WORKSHOP: None
Room:
12:30
Lunch
TACAS: None
Room:
ESOP: None
Room:
FASE: None
Room:
RUST WORKSHOP: None
Room:
Ask-me-anything
Chair:
Room:
16:00
Coffee Break
Invited Tutorial: Arun Ross
Chair:
Room:
TACAS: None
Room:
RUST WORKSHOP: None
Room: