ETAPS 2011 proceedings

The proceedings of the 5 main conferences, 1 associated event and 15 satellite workshops of ETAPS 2011 appeared in 6 volumes of Springer's LNCS, 5 volumes of the Open Publishing Association's EPTCS, 1 volume of ECEASST, 3 volumes 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 6601
ESOP LNCS 6602 LMCS (2013)
FASE LNCS 6603
FoSSaCS LNCS 6604  
TACAS LNCS 6605 LMCS (2012),
STTT 15(2) (2013)
TOSCA (ARSPA/WITS) LNCS 6993 (2012)
ACCAT no proceedings
Bytecode ENTCS 279(1)
COCV no proceedings
DICE EPTCS 75 (2012) I&C 241 (2015)
FESCA ENTCS 279(3)
GALOP no proceedings
GT-VMT ECEASST 41
HAS no proceedings
iWIGP EPTCS 50
LDTA ACM DL
PLACES EPTCS (in preparation?)
QAPL EPTCS 57 TCS 538 (2014)
(QAPL '11/'12)
ROCKS no proceedings
TERMGRAPH EPTCS 48 MSCS (in preparation)
WGT ENTCS 279(3)

Who's online

We have 32 guests and no members online

Site Hosted by

ETAPS 2011

UdS_Logo_4c_hernan_en_svg