ETAPS 2021: 27 March-1 April 2021, Luxembourg, Luxembourg (online)

ETAPS 2021 Proceedings

The proceedings of the 4 main conferences and 7 satellite workshops of ETAPS 2021 appeared in 5 volumes of Springer's LNCS and 2 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 12648 ACM TOPLAS (planned)
FASE LNCS 12649 FAC (planned),
STTT (planned)
FoSSaCS LNCS 12650 LMCS (planned)
TACAS LNCS 12561,
LNCS 12562
HCVS EPTCS 344
LiVe no proceedings
QAVS EPTCS (in preparation)
RW no proceedings
TADM EPTCS (in preparation)
VerifyThis no proceedings
VPT EPTCS 341