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)

Who's online

We have 84 guests and no members online

Site Hosted by