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