ETAPS 2015 Programme
Programme at glance
| Workshops | Main conferences | Workshops | |||||
| Saturday 11 April |
Sunday 12 April |
Monday 13 April |
Tuesday 14 April |
Wednesday 15 April |
Thursday 16 April |
Friday 17 April |
Saturday 18 April |
| DICE | CC | HotSpot | |||||
| FESCA | ESOP | ESOP | ESOP | MBT | |||
| FMSPLE | FASE | FASE | FASE | PLACES | |||
| FOPARA | FOSSACS | FOSSACS | FOSSACS | FOSSACS | TTATT | ||
| GALOP | GALOP | POST | POST | TPDP | |||
| GaM | GaM | TACAS | TACAS | TACAS | TACAS | TACAS | |
| QAPL | QAPL | ||||||
| SynCop | |||||||
| VerifyThis | |||||||
| VPT | |||||||
| WoC | |||||||
| WPLI | |||||||
Main conferences programme at glance
| Monday 13 April |
Tuesday 14 April |
Wednesday 15 April |
Thursday 16 April |
Friday 17 April |
|
| 08h30 - 09h00 | Opening | ||||
| 09h00 - 10h00 | Invited Speaker |
Invited Speaker |
Invited Speaker |
Invited Speaker |
Invited Speaker |
| 10h00 - 10h30 | Coffee Break | ||||
| 10h30 - 12h30 | FASE - FOSSACS TACAS |
ESOP - FASE FOSSACS |
ESOP - FOSSACS TACAS |
ESOP - POST TACAS SV-COMP |
CC - POST TACAS |
| 12h30 - 14h00 | Lunch | ||||
| 14h00 - 16h00 | FASE - FOSSACS TACAS |
ESOP - FASE TACAS |
ESOP - FASE TACAS |
ESOP - FOSSACS POST - TACAS |
CC - POST TACAS |
| 16h00 - 16h30 | Coffee Break | ||||
| 16h30 - 18h00 | FASE - FOSSACS TACAS |
ESOP - FOSSACS Tutorial |
ESOP - FOSSACS TACAS |
ESOP - TACAS Tutorial |
CC - POST TACAS |
| 18h00 - 19h30 | SC Meeting | ||||
| Reception | Dinner | SC Dinner | |||