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