ETAPS 2020 Proceedings
The proceedings of the 4 main conferences and 10 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 | TOPLAS 43(4) (2021) |
| FASE | LNCS 12076 | FAC 33(6) (2021), STTT (planned) |
| FoSSaCS | LNCS 12077 | LMCS (planned) |
| TACAS | LNCS 12078, LNCS 12079 |
|
| CMCS | LNCS 12094 | |
| LiVe | no proceedings | |
| MARS | EPTCS 316 | |
| MSFP | EPTCS 317 | |
| PLACES | EPTCS 314 | JLAMP VSI (in progress) |
| TEASE-LP | no proceedings | |
| VPT+HCVS | EPTCS 320 | |
| WADT | LNCS 12669 (2021) | |
| WRLA | LNCS 12328 | JLAMP VSI (in progress) |
