ETAPS 2016 Programme
Programme at a glance
| Workshops | Main conferences | Workshops | ||||
| Saturday 2 April |
Sunday 3 April |
Monday 4 April |
Tuesday 5 April |
Wednesday 6 April |
Thursday 7 April |
Friday 8 April |
| ESOP | ESOP | ESOP | ESOP | |||
| FoSSaCS | FoSSaCS | FoSSaCS | FoSSaCS | |||
| POST | POST | |||||
| FASE | FASE | FASE | ||||
| TACAS | TACAS | TACAS | TACAS | |||
| SPIN | SPIN | |||||
Main conferences programme at a glance
| Monday 4 April |
Tuesday 5 April |
Wednesday 6 April |
Thursday 7 April |
|
| 08h30 - 09h00 | Opening | |||
| 09h00 - 10h00 | Invited Talk Andrew Gordon |
Invited Speaker Vitaly Shmatikov |
Invited Speaker Oscar Nierstrasz |
Invited Speaker Rupak Majumdar |
| 10h00 - 10h30 | Coffee Break | |||
| 10h30 - 12h30 | ESOP - FoSSaCS POST - TACAS |
FASE - FoSSaCS POST - TACAS |
ESOP - FoSSaCS FASE - TACAS |
ESOP - FoSSaCS FASE - TACAS |
| 12h30 - 14h00 | Lunch | |||
| 14h00 - 15h00 | ESOP - FoSSaCS POST - TACAS |
Invited Speaker Cristina Lopes |
ESOP - FoSSaCS FASE - TACAS |
ESOP - FoSSaCS FASE - TACAS |
| 15h00 - 15h30 | Coffee Break | |||
| 15h30 - 16h00 | ESOP FoSSaCS FASE TACAS |
|||
| 16h00 - 16h30 | Coffee Break | Coffee Break | ||
| 16h30 - 18h00 | Tutorial Peter Ryan - TACAS | Tutorial Grigore Rosu - TACAS |
TACAS | |
| 18h00 - 19h00 | SC meeting | |||
| 19h00 - 22h30 |
Reception |
(19h30) SC dinner |
Banquet |
|