ETAPS 2018: 14-20 April 2018, Thessaloniki, Greece

ETAPS 2018 proceedings

The proceedings of the 5 main conferences and 13 satellite workshops of ETAPS 2018 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 10801 TOPLAS 42(1) (2020)
FASE LNCS 10802 FAC 31(5) (2019),
STTT 22(1) (2020)
FoSSaCS LNCS 10803
POST LNCS 10804
TACAS LNCS 10805,
LNCS 10806
JAR 64(7) (2020),
STTT 22(6) (2020)
CMCS LNCS 11202
CREST EPTCS 286 (2019)
DICE no proceedings TCS VSI (in progress)
(DICE '16/'17/'18)
FoMLAS no proceedings
GaLoP no proceedings
LiVe no proceedings
MARS/VPT EPTCS 268
MeTRiD EPTCS 272
SNR EPTCS (in preparation)
SynCop/PV no proceedings
VerifyThis no proceedings
VSSE no proceedings
WRLA LNCS 11152 JLAMP VSI (2020-21)