ETAPS 2012 programme book
ETAPS 2012 main conferences synchronized programme
ETAPS 2012 workshops synchronized summary programme
*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.