Each day of the week displays the whole programme for that day.
Event names display the entire programme of this event.
| Monday 8/4 | Tuesday 9/4 | Wednesday 10/4 | Thursday 11/4 | Friday 12/4 | |
| 9.00 9.30 |
Welcome | Greg Morrisett | Daniel Jackson | Bruno Courcelle | Patrick Cousot |
| 9.30 10.00 |
Hellmuth Broda | ||||
| 10.00 10.30 |
Coffee | Coffee | Coffee | Coffee | |
| 10.30 11.15 |
Coffee |
TACAS FASE ESOP ACL2 |
TACAS FASE ESOP FOSSACS |
TACAS FOSSACS CC SPIN tutorial (T12) |
FOSSACS
CC SPIN |
| 11.15 12.45 |
TACAS FASE ESOP ACL2 |
||||
| 12.45 14.15 |
Lunch | Lunch | Lunch | Lunch | Lunch |
| 14.15 15.15 |
TACAS FASE ESOP ACL2 |
Michael Lowry | Mary Shaw | Ed Clarke |
FOSSACS
CC SPIN AGT |
| 15.15 16.00 |
Coffee | Coffee | Coffee | ||
| 16.15 16.45 |
Coffee |
TACAS FASE ESOP ACL2 |
TACAS FASE FOSSACS CC |
TACAS FOSSACS CC SPIN |
Coffee |
| 16:45 17.30 |
TACAS FASE ESOP ACL2 |
FOSSACS
CC SPIN AGT |
|||
| 17.45 18.45 |
TACAS FASE ACL2 |
TACAS FOSSACS |
FOSSACS CC | SPIN AGT | |
| 20.00 | Reception (19:30) |
Conference Dinner Bus: 19:30 |
SPIN Dinner |