Programme
Programmes of individual conferences and workshops
ETAPS 2012 main conferences synchronized programme
ETAPS 2012 workshops synchronized summary programme
Programme overview
| Sat | Sun | Mon | Tue | Wed | Thu | Fri | Sat | Sun |
|---|---|---|---|---|---|---|---|---|
| 24 Mar | 25 Mar | 26 Mar | 27 Mar | 28 Mar | 29 Mar | 30 Mar | 31 Mar | 1 Apr |
| ← Transition to DST! | ||||||||
| Workshops | ETAPS 2012 main conferences | Workshops | ||||||
| GT-VMT | ESOP | CC | CMCS | |||||
| WRLA | DICE | |||||||
| FICS | BX | FASE | LDTA | |||||
| FIT | QAPL | |||||||
| iWIGP | POST | FoSSaCS | Bytecode | ACCAT | ||||
| MBT | FESCA | Graphite | ||||||
| MSFP | TACAS | HAS | Linearity | |||||
| VSSE | PLACES | |||||||
| AIPA [+ SVARM*] | ||||||||
| Social events | ||||||||
| Pre-wksh dinner | Welcome reception |
Banquet | Post-wksh / CMCS dinner |
|||||
*SVARM is not part of ETAPS, but is colocated with AIPA. Special conditions apply. In particular, no ETAPS participant benefits extend to people that register to SVARM only. Delegates that wish to enjoy the benefits of an ETAPS participant must register for AIPA.