ETAPS 2019: 6-11 April 2019, Prague, Czech Republic

ETAPS 2019 Proceedings

The proceedings of the 5 main conferences and 17 satellite workshops of ETAPS 2019 appeared in 8 volumes of Springer's LNCS and 5 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 11423
FASE LNCS 11424 FAC (in preparation),
STTT 23(3) (2021)
FoSSaCS LNCS 11425
POST LNCS 11426
TACAS LNCS 11427,
LNCS 11428,
LNCS 11429
STTT 24(1) (2022)
BEHAPI no proceedings
CREST EPTCS 308
DICE-FOPARA EPTCS 298
GaLoP no proceedings
HCVS+PERR EPTCS 296
HSB LNBI 11705
InterAVT no proceedings
LiVe no proceedings
MeTRiD no proceedings STTT (planned)
PLACES EPTCS 291 JLAMP VSI (in progress)
QAPL EPTCS 312 (2020)
SagivFest no proceedings
SPIoT no proceedings STTT 23(1) (2021)
SynCop no proceedings
SyntComp Camp no proceedings
VerifyThis no proceedings