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:
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:
Wednesday 07 May
09:00
Amal Ahmed
10:00
Coffee Break
TACAS: None
Room:
ESOP: None
Room:
FOSSACS: None
Room:
SPIN: None
Room:
INDUSTRY DAY: None
Industry Day
Room:
Lunch
Lunch
Room:
General assembly (starting at 13:00)
Chair:
Room:
TACAS: None
Room:
ESOP: None
Room:
SPIN: None
Room:
INDUSTRY DAY: None
Industry Day
Room:
Tool demo session
Chair:
Room:
16:00
Coffee Break
TACAS: None
Room:
ESOP: None
Room:
FOSSACS: None
Room:
SPIN: None
Room:
INDUSTRY DAY: None
Industry Day
Room:
Thursday 08 May
09:00
Matt Dwyer
10:00
Coffee Break
TACAS: None
Room:
ESOP: None
Room:
SPIN: None
Room:
12:30
Lunch
TACAS: None
Room:
ESOP: None
Room:
SPIN: None
Room:
Award session
Chair:
Room:
TestComp
Chair:
Room:
16:00
Coffee Break
TACAS: None
Room:
ESOP: None
Room:
SPIN: None
Room:
TestComp
Chair:
Room: