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) |
|
WPLI | no proceedings |