ETAPS 2021 Proceedings

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

Who's online

We have 100 guests and no members online

Site Hosted by