Welcome to ETAPS 2020 in Dublin, Ireland!
ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences ESOP, FASE, FoSSaCS and TACAS, accompanied by satellite workshops.
ETAPS 2020 in Dublin is the twenty-third event in the series.
POST, which was an ETAPS conference 2012-2019, has been discontinued.