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 (planned)
FoSSaCS LNCS 9634
POST LNCS 9635
TACAS LNCS 9636
SPIN LNCS 9641 STTT (planned)
BX CEUR Workshops 1571
CASSTING/SynCoP EPTCS 220
CMCS LNCS 9608
CREST EPTCS 224
DICE no proceedings
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 (planned)
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

Who's online

We have 84 guests and no members online

Site Hosted by