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