ETAPS 2013 proceedings

The proceedings of the 6 main conferences and 20 satellite workshops of ETAPS 2013 appear in 6 volumes of Springer's LNCS, 9 volumes of the Open Publishing Association's EPTCS, 2 volumes of ECEASST, 1 volume of Elsevier's ENTCS.

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 7791
ESOP LNCS 7792
FASE LNCS 7793
FoSSaCS LNCS 7794
POST LNCS 7796
TACAS LNCS 7795 LMCS (in preparation),
STTT (in preparation)
ACCAT no proceedings
AiSoS EPTCS 133
BX ECEASST 57
Bytecode informal proceedings SCP (in preparation)
CerCo no proceedings
DICE no proceedings I&C 248 (2016)
FESCA EPTCS 108
Graphite EPTCS 138
GT-VMT ECEASST 58 SCP 104 (2015)
HAS EPTCS 124
HotSpot no proceedings
IFIP WG1.3 no proceedings
MBT EPTCS 111
MEALS no proceedings
MLQA no proceedings
PLACES EPTCS 137
QAPL EPTCS 117 TCS 655 (B) (2016)
(QAPL '13/'14)
SR EPTCS 112
TERMGRAPH EPTCS 110
VSSE ENTCS 294

Who's online

We have 116 guests and no members online

Site Hosted by

ETAPS 2013

logo_sapienza