ETAPS 2016: 2-8 April 2016, Eindhoven, The Netherlands

ETAPS 2016 proceedings

The proceedings of the 5 main conferences, the colocated conference SPIN 2016 and 21 satellite workshops of ETAPS 2016 will appear in 8 volumes of Springer's LNCS, 11 volumes of Open Publishing Association's EPTCS, 1 volume of RWTH Aachen's CEUR Workshops Proceedings and 1 volume of Elsevier's ENTCS.

Some journal special issues are being planned.

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

Event Proceedings Special issue
ESOP LNCS 9632
FASE LNCS 9633 FAC 30(1) (2018)
FoSSaCS LNCS 9634
POST LNCS 9635
TACAS LNCS 9636 STTT 20(2) (2018)
SPIN LNCS 9641 STTT 20(5) (2018)
BX CEUR Workshops 1571
CASSTING/SynCoP EPTCS 220
CMCS LNCS 9608 JLAMP VSI (2018)
CREST EPTCS 224
DICE no proceedings TCS VSI (in progress)
(DICE '16/'17/'18)
FESCA EPTCS 205
FMSPLE EPTCS 206
GaLoP no proceedings
GaM EPTCS 231
HCVS EPTCS 219
HotSpot no proceedings
MSFP EPTCS 207
PLACES EPTCS 211 JLAMP VSI (2017)
QAPL EPTCS 227
RAC ENTCS 330
ENERGY (SENSATION) no proceedings
TERMGRAPH EPTCS 225
VerifyThis no proceedings
VPT EPTCS 216
VSSE no proceedings
WRLA LNCS 9942 JLAMP VSI (2018)