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.



  Saturday 27/3 Sunday 28/3 Monday 29/3 Tuesday 30/3 Wednesday31/3 Thursday 1/4 Friday 2/4 Saturday3/4 Sunday4/4
9:00
12:30
CMCS
eTX   
SPIN
WADT

FOSSACS
COCV
DCC


FESCA
GT-VMT


LDTA
MBT
ESOP
CC
SC
QAPL
SFEDL
TACOS
AVIS
WRLA
TACAS
RV
X TACAS
WITS

CP+CV

FUSE
FASE

INT

SLAP
12:30
14:30
Lunch
14:30
18:30
CMCS
eTX

SPIN
WADT FOSSACS
COCV
DCC

FESCA
GT-VMT

LDTA
MBT
ESOP
CC
SC
QAPL
SFEDL
TACOS
AVIS
WRLA
TACAS
RV
X TACAS
WITS

CP+CV BOGOR

FUSE FASE

INT

SLAP
Evening CMCS & WADT
Dinner
Workshops
Dinner
ETAPS
Reception

ETAPS
Banquet
eTX
Reception
SPIN
Dinner
Workshops
Dinner



Main ETAPS Programme at a Glance



  Monday 29/3 Tuesday 30/3 Wednesday 31/3 Thursday 1/4 Friday 2/4
 9.00
 9.30
Welcome Gruia-Catalin Roman
Serge Abiteboul Antti Valmari Robin Milner
 9.30
10.00
Peter O'Hearn
10.00
10.30
Coffee Coffee Coffee Coffee
10.30
11.00
Coffee TACAS
FASE
ESOP
eTX
FASE
ESOP
FOSSACS
TACAS
FOSSACS
CC
SPIN
TACAS
FOSSACS
CC
SPIN
11.00
12.30
TACAS
FASE
ESOP
WADT
CMCS
12.30
14.30
Lunch Lunch Lunch Lunch Lunch
14.30
15.30
TACAS
FASE
ESOP
WADT
CMCS
FASE
ESOP
FOSSACS
eTX
Hubert Comon
Mary Lou Soffa
TACAS
FOSSACS
CC
SPIN
15.30
16.00
TACAS
FASE
FOSSACS
TACAS
FOSSACS
CC
SPIN
16.00
16.30
Coffee
16.30
17.00
TACAS
FASE
ESOP
WADT
CMCS
Coffee Coffee Coffee Coffee
17:00
18.00
TACAS
FASE
ESOP
eTX
TACAS
ESOP
FOSSACS
TACAS
FOSSACS
CC
SPIN
TACAS
FOSSACS
CC
SPIN
18.00
18.30

18.30
19.00
       
Evening ETAPS Reception
  ETAPS Banquet
 eTX Reception
SPIN Dinner