Final Program
Programme overview
Sat | Sun | Mon | Tue | Wed | Thu | Fri | Sat | Sun |
---|---|---|---|---|---|---|---|---|
16 Mar | 17 Mar | 18 Mar | 19 Mar | 20 Mar | 21 Mar | 22 Mar | 23 Mar | 24 Mar |
Workshops | ETAPS 2013 main conferences | Workshops | ||||||
9:00-18:00 | 9:00-18:00 | 9:00-10:30 | 9:00-10:00 | 9:00-10:00 | 9:00-10:00 | 9:00-10:30 | 9:00-18:00 | 9:00-18:00 |
DICE | Opening | POST:Hubaux | Unifying: Barthe | FASE:Czarnecki | CC:Berger | GT-VMT | ||
SR | FOSSACS:Hofmann | Böhm Fest | QAPL | |||||
Found. Sys. Spec. | HAS | 11:00-12:30 | 10:30-12:30 | 10:30-12:30 | 10:30-12:30 | 11:00-12:30 | FESCA | MLQA |
VSSE | HotSpot | FoSSaCS | FoSSaCS | ESOP | ESOP | CC | PLACES | GRAPHITE |
AiSoS | MBT | POST | POST | FASE | FASE | ESOP | TERM-GRAPH | IC1201 (COST Action meeting) |
MEALS | TACAS | TACAS | FoSSaCS | TACAS | FASE | Bytecode | ||
ACCAT | TACAS | TACAS SV competition | CerCo | |||||
BX | 14:00-15:30 | 14:00-15:30 | 14:00-16:15 | 14:00-16:15 | 14:00-16:15 | |||
Tutorials | FoSSaCS | ESOP | Unifying: Fournet | TACAS:Grumberg | ESOP:Miller | |||
POST | FoSSaCS | ESOP | CC | Tribute to Kohei Honda | ||||
TACAS | TACAS | FASE | ESOP | CC | ||||
TACAS | FASE | |||||||
TACAS tool demo | ||||||||
16:00-18:00 | 16:00-18:00 | 16:30-18:00 | 16:30-18:00 | 16:30-18:00 | ||||
FoSSaCS | ESOP | ESOP | CC | CC | ||||
POST | FoSSaCS | FASE | ESOP | ESOP | ||||
TACAS | TACAS | FoSSaCS | FASE | FASE | ||||
TACAS | TACAS | |||||||
Pre-wksh dinner | Welcome reception | SC meeting | Conf dinner | SC meeting | Post-wksh dinner |