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 (in preparation)
FoSSaCS LNCS 10203 LMCS (in preparation)
POST LNCS 10204
TACAS LNCS 10205,
LNCS 10206
BX CEUR Wksh Proc. 1827
CREST EPTCS 259
DICE/FOPARA EPTCS 248 TCS (DICE '16/'17/'18)
(in preparation)
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
SNR EPTCS 247
SynCop/PV no proceedings
VerifyThis no proceedings
VPT EPTCS 253

 

Who's online

We have 188 guests and no members online

Site Hosted by