Programme
Programme of main conferences from Monday to Thursday. Best Paper candidates are highlighted in yellow and by asterisk.
Monday 05 May
08:45
ETAPS Opening
09:00
Ina Schaefer
10:00
Coffee Break
TACAS: None
Room:
FASE: None
Room:
FOSSACS: None
Room:
RUST WORKSHOP: None
Rust Workshop
Room:
12:30
Lunch
TACAS: None
Room:
RUST WORKSHOP: None
Room:
FOSSACS: None
Room:
Diversity & inclusion
Chair:
Room:
SVComp
Chair:
Room:
16:00
Coffee Break
Invited Tutorial: Suguman Bansal
Chair:
Room:
TACAS: None
Room:
RUST WORKSHOP: None
Room:
SVComp
Chair:
Room: