ETAPS 2018 proceedings
The proceedings of the 5 main conferences and 13 satellite workshops of ETAPS 2018 appeared in 8 volumes of Springer's LNCS and 4 volumes of Open Publishing Association's EPTCS.
Some journal special issues are in preparation.
Here are the links to the online editions of these publications.
Event | Proceedings | Special issue |
ESOP | LNCS 10801 | TOPLAS (in preparation) |
FASE | LNCS 10802 | STTT (in preparation) |
FoSSaCS | LNCS 10803 | |
POST | LNCS 10804 | |
TACAS | LNCS 10805, LNCS 10806 |
|
CMCS | LNCS 11202 | |
CREST | EPTCS 286 (2019) | |
DICE | no proceedings | TCS (DICE '16/'17/'18) (in preparation) |
FoMLAS | no proceedings | |
GaLoP | no proceedings | |
LiVe | no proceedings | |
MARS/VPT | EPTCS 268 | |
MeTRiD | EPTCS 272 | |
SNR | EPTCS (in preparation) | |
SynCop/PV | no proceedings | |
VerifyThis | no proceedings | |
VSSE | no proceedings | |
WRLA | LNCS 11152 | JLAMP (in preparation) |