ETAPS 2020 Proceedings
The proceedings of the 4 main conferences and 17 satellite workshops of ETAPS 2020 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 12075 | |
| FASE | LNCS 12076 | FAC (planned), STTT (planned) |
| FoSSaCS | LNCS 12077 | LMCS (planned) |
| TACAS | LNCS 12078, LNCS 12079 |
|
| CMCS | LNCS 12094 | |
| CREST | no proceedings | |
| DICE/GaLoP | no proceedings | |
| InterAVT | no proceedings | |
| LiVe | no proceedings | |
| MARS | EPTCS 316 | |
| MeTRiD | no proceedings | |
| MSFP | EPTCS 317 | |
| PLACES | EPTCS 314 | JLAMP (in preparation) |
| RW | no proceedings | |
| SynCop | no proceedings | |
| TEASE-LP | no proceedings | |
| VerifyThis | no proceedings | |
| VPT+HCVS | EPTCS 320 | |
| WADT | LNCS (in preparation) | |
| WRLA | LNCS (in preparation) |
