ETAPS 2015: 11-18 April 2015, London, UK

ETAPS 2015 proceedings

The proceedings of the 6 main conferences and 17 satellite workshops of ETAPS 2015 appear in 7 volumes of Springer's LNCS, 9 volumes of the Open Publishing Association's EPTCS and 1 volume of Dagstuhl Publishing's OASIcs.

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 9031
ESOP LNCS 9032
FASE LNCS 9033
FoSSaCS LNCS 9034 LMCS (2017)
POST LNCS 9036
TACAS LNCS 9035 Acta Inf. 54(8) (2017),
STTT 19 (6) (2017)
DICE no proceedings I&C 261(P1) (2018) (DICE '14/'15)
FESCA EPTCS 178
FMSPLE EPTCS 182
FOPARA LNCS 9964 (2016)
GALOP no proceedings
GaM EPTCS 181
HotSpot no proceedings
MBT EPTCS 180
PLACES EPTCS 203 (2016)
QAPL EPTCS 194
SynCop OASIcs 44
TPDP no proceedings JPC 7(2) (2017)
TTATT EPTCS to appear
VerifyThis no proceedings
VPT EPTCS 199
WoC

EPTCS 212 (2016)
(preliminary proceedings)

WPLI no proceedings