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 (in preparation) |
| FASE | LNCS 10802 | STTT (in preparation) |
| FoSSaCS | LNCS 10803 | |
| POST | LNCS 10804 | |
| TACAS | LNCS 10805, LNCS 10806 |
|
| CMCS | LNCS 11202 | |
| CREST | EPTCS 286 (2019) | |
| DICE | no proceedings | TCS (DICE '16/'17/'18) (in preparation) |
| 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 (in preparation) |
