Proceedings

ETAPS 2018 proceedings

The proceedings of the 5 main conferences and 13 satellite workshops of ETAPS 2018 will appear in 8 volumes of Springer's LNCS and 5 volumes of Open Publishing Association's EPTCS.

Some journal special issues are being planned.

Here are the links to the online editions of these publications.

Event Proceedings Special issue
ESOP LNCS 10801
FASE LNCS 10802 STTT (planned)
FoSSaCS LNCS 10803
POST LNCS 10804
TACAS LNCS 10805,
LNCS 10806
CMCS LNCS 11202
CREST EPTCS (in preparation)
DICE no proceedings TCS (planned) (DICE '16/'17/'18)
FoMLAS EPTCS (in preparation)
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 (planned)

Who's online

We have 138 guests and no members online

Site Hosted by