ETAPS 2013 proceedings
The proceedings of the 6 main conferences and 20 satellite workshops of ETAPS 2013 appear in 6 volumes of Springer's LNCS, 9 volumes of the Open Publishing Association's EPTCS, 2 volumes of ECEASST, 1 volume of Elsevier's ENTCS.
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 7791 | |
| ESOP | LNCS 7792 | |
| FASE | LNCS 7793 | |
| FoSSaCS | LNCS 7794 | |
| POST | LNCS 7796 | |
| TACAS | LNCS 7795 | LMCS (2015-16), STTT 19(5) (2017) |
| ACCAT | no proceedings | |
| AiSoS | EPTCS 133 | |
| BX | ECEASST 57 | |
| Bytecode | informal proceedings | SCP 95(P3) (2014) |
| CerCo | no proceedings | |
| DICE | no proceedings | I&C 248 (2016) |
| FESCA | EPTCS 108 | |
| Graphite | EPTCS 138 | |
| GT-VMT | ECEASST 58 | SCP 104 (2015) |
| HAS | EPTCS 124 | |
| HotSpot | no proceedings | |
| IFIP WG1.3 | no proceedings | |
| MBT | EPTCS 111 | |
| MEALS | no proceedings | |
| MLQA | no proceedings | |
| PLACES | EPTCS 137 | |
| QAPL | EPTCS 117 | TCS 655(PB) (2016) (QAPL '13/'14) |
| SR | EPTCS 112 | |
| TERMGRAPH | EPTCS 110 | MSCS 28(8) (2018) |
| VSSE | ENTCS 294 |