ETAPS 2012 proceedings
The proceedings of the 6 main conferences and 20 satellite workshops of ETAPS 2012 appeared in 8 volumes of Springer's LNCS, 10 volumes of the Open Publishing Association's EPTCS, 2 volumes of ECEASST, 1 volume 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 7210 | |
| ESOP | LNCS 7211 | |
| FASE | LNCS 7212 | |
| FoSSaCS | LNCS 7213 | LMCS (2014) |
| POST | LNCS 7215 | |
| TACAS | LNCS 7214 | LMCS (2014), STTT 16(2) (2014) |
| ACCAT | EPTCS 93 | |
| AIPA | no proceedings | |
| BX | ECEASST 49 | |
| Bytecode | informal proceedings | SCP 92(A) (2014) |
| CMCS | LNCS 7399 + informal short contributions |
|
| DICE | no proceedings | TCS 585 (2015) |
| FESCA | ENTCS 295 (2013) | |
| FICS | EPTCS 77 | |
| FIT | EPTCS 87 | |
| Graphite | EPTCS 99 | |
| GT-VMT | ECEASST 47 | |
| HAS | no proceedings | |
| iWIGP | EPTCS 78 | |
| LDTA | ACM DL | |
| Linearity | EPTCS 101 | |
| MBT | EPTCS 80 | |
| MSFP | EPTCS 76 | |
| PLACES | EPTCS 109 (2013) | |
| QAPL | EPTCS 85 | TCS 538 (2014) (QAPL '11/'12) |
| VSSE | no proceedings | |
| WRLA | LNCS 7571 | SCP 99 (2015) |