ETAPS 2017: 22-29 April 2017, Uppsala, Sweden

ETAPS 2017 proceedings

The proceedings of the 5 main conferences and 16 satellite workshops of ETAPS 2017 appeared in 6 volumes of Springer's LNCS, 9 volumes of Open Publishing Association's EPTCS and 1 volume of RWTH Aachen's CEUR Workshops Proceedings.

Some journal special issues are in preparation.

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

Event Proceedings Special issue
ESOP LNCS 10201 TOPLAS 41(2) (2019)
FASE LNCS 10202 STTT 20(6) (2018)
FoSSaCS LNCS 10203 LMCS VSI (2019-21)
POST LNCS 10204
TACAS LNCS 10205,
LNCS 10206
BX CEUR Wksh Proc. 1827
CREST EPTCS 259
DICE/FOPARA EPTCS 248 TCS VSI (in progress)
(DICE '16/'17/'18)
FESCA EPTCS 245
GaLoP no proceedings
GaM EPTCS 263
HotSpot informal proceedings
LiVe no proceedings
MARS EPTCS 244
PLACES EPTCS 246 JLAMP VSI (2019)
QAPL EPTCS 250
SannellaFest no proceedings TCS 741 (2018)
SNR EPTCS 247
SynCop/PV no proceedings
VerifyThis no proceedings
VPT EPTCS 253