| |
Monday
April 7th |
Tuesday
April 8th |
Wednesday
April 9th |
Thursday
April 10th |
Friday
April 11th |
| 08h30 - 09h00 |
Opening |
|
| 09h00 - 10h00 |
CC Invited Speaker
Benoit Dupont
de Dinechin |
FASE Invited
Speaker
Christel Baier |
ETAPS Invited
Speaker
Geoffrey Smith |
ETAPS Invited
Speaker
John Launchbury |
FOSSACS Invited
Speaker
Petr Jančar |
| 10h00 - 10h30 |
Coffee Break |
| 10h30 - 12h30 |
CC - POST
TACAS |
ESOP - FASE
FOSSACS - TACAS |
ESOP - FASE
TACAS |
ESOP - FOSSACS
TACAS SV-COMP |
FASE - FOSSACS
TACAS |
| 12h30 - 14h00 |
Lunch |
| 14h00 - 16h00 |
CC - POST
TACAS |
POST Invited
Speaker
David Mazières
ESOP - FASE
FOSSACS - POST
- TACAS 20 years - |
ESOP Invited
Speaker
Maurice Herlihy
ESOP - FASE
FOSSACS - TACAS
|
TACAS Invited
Speaker
Orna Kupferman
ESOP - FASE
FOSSACS - TACAS
|
FASE - FOSSACS
TACAS |
| 16h00 - 16h30 |
Coffee Break |
| 16h30 - 18h00 |
CC - POST
TACAS |
ESOP - POST
- Tutorial I:
Andy Gordon -
- TACAS 20 years - |
ESOP - FASE
FOSSACS - TACAS
|
ESOP - FASE
TACAS
- Tutorial II:
Bernd Finkbeiner - |
FOSSACS - TACAS |
| 18h15 - 20h15 |
|
SC Meeting |
|
| |
Reception |
TACAS 20 years
Dinner |
Dinner |
SC Dinner |
|