Main ETAPS Programme at a Glance

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