Proceedings

ETAPS 2014 proceedings

The proceedings of the 6 main conferences and 22 satellite workshops of ETAPS 2014 appear in 9 volumes of Springer's LNCS, 11 volumes of the Open Publishing Association's EPTCS, 1 volume of ECEASST.

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 8409
ESOP LNCS 8410
FASE LNCS 8411
FoSSaCS LNCS 8412
POST LNCS 8414
TACAS LNCS 8413 LMCS (in preparation)
FPS (Sifakis Wksh) LNCS 8415
Cassting no proceedings
CMCS LNCS 8446
+ informal short contrib
DICE no proceedings
FESCA EPTCS 147
F-IDE EPTCS 149
GALOP no proceedings
GraMSec EPTCS 148
GRAPHITE EPTCS 159
GT-VMT ECEASST 67
HAS EPTCS to appear
HotSpot informal proceedings
MBT EPTCS 141
MEALS no proceedings
MSFP EPTCS 153
PLACES EPTCS 155 JLAMP (in preparation)
QAPL EPTCS 154 TCS (QAPL '13/'14)
(in preparation)
RePP informal proceedings
SR EPTCS 146
SynCop EPTCS 145
VSSE no proceedings
WRLA LNCS 8663 to appear
(preliminary proceedings)

Who's online

We have 13 guests and no members online

Site Hosted by