ETAPS 2018 proceedings
The proceedings of the 5 main conferences and 13 satellite workshops of ETAPS 2018 appeared in 8 volumes of Springer's LNCS and 4 volumes of Open Publishing Association's EPTCS.
Some journal special issues are in preparation.
Here are the links to the online editions of these publications.
| Event | Proceedings | Special issue |
| ESOP | LNCS 10801 | TOPLAS 42(1) (2020) |
| FASE | LNCS 10802 | FAC 31(5) (2019), STTT 22(1) (2020) |
| FoSSaCS | LNCS 10803 | |
| POST | LNCS 10804 | |
| TACAS | LNCS 10805, LNCS 10806 |
JAR 64(7) (2020), STTT 22(6) (2020) |
| CMCS | LNCS 11202 | |
| CREST | EPTCS 286 (2019) | |
| DICE | no proceedings | TCS VSI (in progress) (DICE '16/'17/'18) |
| FoMLAS | no proceedings | |
| GaLoP | no proceedings | |
| LiVe | no proceedings | |
| MARS/VPT | EPTCS 268 | |
| MeTRiD | EPTCS 272 | |
| SNR | EPTCS (in preparation) | |
| SynCop/PV | no proceedings | |
| VerifyThis | no proceedings | |
| VSSE | no proceedings | |
| WRLA | LNCS 11152 | JLAMP VSI (2020-21) |
