ETAPS 2011 proceedings
The proceedings of the 5 main conferences, 1 associated event and 15 satellite workshops of ETAPS 2011 appeared in 6 volumes of Springer's LNCS, 5 volumes of the Open Publishing Association's EPTCS, 1 volume of ECEASST, 3 volumes of Elsevier's ENTCS, 1 ACM DL proceedings volume.
Some journal special issues are in the making.
Here are the links to the online editions of these publications.
Event | Proceedings | Special issue |
CC | LNCS 6601 | |
ESOP | LNCS 6602 | LMCS (2013) |
FASE | LNCS 6603 | |
FoSSaCS | LNCS 6604 | |
TACAS | LNCS 6605 | LMCS (2012), STTT 15(2) (2013) |
TOSCA (ARSPA/WITS) | LNCS 6993 (2012) | |
ACCAT | no proceedings | |
Bytecode | ENTCS 279(1) | |
COCV | no proceedings | |
DICE | EPTCS 75 (2012) | I&C 241 (2015) |
FESCA | ENTCS 279(3) | |
GALOP | no proceedings | |
GT-VMT | ECEASST 41 | |
HAS | no proceedings | |
iWIGP | EPTCS 50 | |
LDTA | ACM DL | |
PLACES | EPTCS (in preparation?) | |
QAPL | EPTCS 57 | TCS 538 (2014) (QAPL '11/'12) |
ROCKS | no proceedings | |
TERMGRAPH | EPTCS 48 | MSCS (in preparation) |
WGT | ENTCS 279(3) |