ETAPS 2016 proceedings
The proceedings of the 5 main conferences, the colocated conference SPIN 2016 and 21 satellite workshops of ETAPS 2016 will appear in 8 volumes of Springer's LNCS, 11 volumes of Open Publishing Association's EPTCS, 1 volume of RWTH Aachen's CEUR Workshops Proceedings and 1 volume of Elsevier's ENTCS.
Some journal special issues are being planned.
Here are the links to the online editions of these publications.
| Event | Proceedings | Special issue |
| ESOP | LNCS 9632 | |
| FASE | LNCS 9633 | FAC 30(1) (2018) |
| FoSSaCS | LNCS 9634 | |
| POST | LNCS 9635 | |
| TACAS | LNCS 9636 | STTT 20(2) (2018) |
| SPIN | LNCS 9641 | STTT 20(5) (2018) |
| BX | CEUR Workshops 1571 | |
| CASSTING/SynCoP | EPTCS 220 | |
| CMCS | LNCS 9608 | JLAMP VSI (2018) |
| CREST | EPTCS 224 | |
| DICE | no proceedings | TCS VSI (in progress) (DICE '16/'17/'18) |
| FESCA | EPTCS 205 | |
| FMSPLE | EPTCS 206 | |
| GaLoP | no proceedings | |
| GaM | EPTCS 231 | |
| HCVS | EPTCS 219 | |
| HotSpot | no proceedings | |
| MSFP | EPTCS 207 | |
| PLACES | EPTCS 211 | JLAMP VSI (2017) |
| QAPL | EPTCS 227 | |
| RAC | ENTCS 330 | |
| ENERGY (SENSATION) | no proceedings | |
| TERMGRAPH | EPTCS 225 | |
| VerifyThis | no proceedings | |
| VPT | EPTCS 216 | |
| VSSE | no proceedings | |
| WRLA | LNCS 9942 | JLAMP VSI (2018) |