ETAPS 2020: 25-30 April 2020, Dublin, Ireland cancelled

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)