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