ETAPS 2017 proceedings

The proceedings of the 5 main conferences and 16 satellite workshops of ETAPS 2017 will appear 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 being planned.

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

Event Proceedings Special issue
ESOP LNCS 10201
FASE LNCS 10202  
FoSSaCS LNCS 10203
POST LNCS 10204
TACAS LNCS 10205,
LNCS 10206
BX CEUR Wksh Proc.
(in preparation)
CREST EPTCS (in preparation)
DICE/FOPARA EPTCS 248
FESCA EPTCS 245
GaLoP no proceedings
GaM EPTCS (in preparation)
HotSpot informal proceedings
LiVe no proceedings
MARS EPTCS 244
PLACES EPTCS 246 JLAMP (planned)
QAPL EPTCS (in preparation)
SannellaFest  
SNR EPTCS 247
SynCop/PV no proceedings
VerifyThis no proceedings
VPT EPTCS (in preparation)

Who's online

We have 68 guests and no members online

Site Hosted by