ETAPS 2012 proceedings

The proceedings of the 6 main conferences and 20 satellite workshops of ETAPS 2012 appeared in 8 volumes of Springer's LNCS, 10 volumes of the Open Publishing Association's EPTCS, 2 volumes of ECEASST, 1 volume of Elsevier's ENTCS, 1 ACM DL proceedings volume.

Some journal special issues are in the making.

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

Event Proceedings Special issue
CC LNCS 7210
ESOP LNCS 7211
FASE LNCS 7212
FoSSaCS LNCS 7213 LMCS (2014)
POST LNCS 7215
TACAS LNCS 7214 LMCS (2014),
STTT 16(2) (2014)
ACCAT EPTCS 93
AIPA no proceedings
BX ECEASST 49
Bytecode informal proceedings SCP 92(A) (2014)
CMCS LNCS 7399
+ informal short contributions
DICE no proceedings TCS 585 (2015)
FESCA ENTCS 295 (2013)
FICS EPTCS 77
FIT EPTCS 87
Graphite EPTCS 99
GT-VMT ECEASST 47
HAS no proceedings
iWIGP EPTCS 78
LDTA ACM DL
Linearity EPTCS 101
MBT EPTCS 80
MSFP EPTCS 76
PLACES EPTCS 109 (2013)
QAPL EPTCS 85 TCS 538 (2014)
(QAPL '11/'12)
VSSE no proceedings
WRLA LNCS 7571 SCP 99 (2015)

Who's online

We have 65 guests and no members online

Site Hosted by

ETAPS 2012