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) | JLAMP (planned) |