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 5 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 (in preparation)
CREST no proceedings
DICE/GaLoP no proceedings
HCVS EPTCS (in preparation)
InterAVT no proceedings
LiVe no proceedings
MARS EPTCS 316
MeTRiD no proceedings
MSFP EPTCS 317
PLACES EPTCS 314
RW no proceedings
SynCop no proceedings
TEASE-LP no proceedings
VerifyThis no proceedings
VPT EPTCS (in preparation)
WADT LNCS (in preparation)
WRLA LNCS (in preparation)

 

Who's online

We have 28 guests and no members online

Site Hosted by