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 |
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 |