Programme
Programme of main conferences from Monday to Thursday. Best Paper candidates are highlighted in yellow and by asterisk.
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: