The European Joint Conferences on Theory and Practice of Software

ETAPS groups together the annual conferences ESOP, FASE, FOSSACS, POST and TACAS, as well as many workshops. Francesco Gavazzo will present his joint paper with Ugo Dal Lago on "Effectful Normal-Form Bisimulation" at ESOP. For more info, see https://conf.researchr.org/home/etaps-2019