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 |