ABOUT ETAPS

ETAPS is the primary forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences accompanied by satellite workshops. ETAPS 2024 is the twenty-seventh event in the series.

Why choose ETAPS?

    ETAPS is one of the world’s leading fora for research on software science, with a history of more than 25 years.
    The proceedings of ETAPS appear in gold open access, with no article processing charge for the authors specifically.
    All constituent conferences provide artifact evaluation.
    In addition to the conference, ETAPS also unites the software science community with activities such as a blog on software science, a PhD workshop, and sessions on diversity and inclusion.

What is new in 2024?

    New submission categories at ESOP—“Experience reports” and “Fresh perspectives”
    Alignment of the artifact evaluation process of the different conferences.

MAIN CONFERENCES (8 – 11 April 2024)

    ESOP: European Symposium on Programming (PC chair: Stephanie Weirich, University of Pennsylvania, USA)
    FASE: Fundamental Approaches to Software Engineering (PC chairs: Dirk Beyer, LMU Munich, Germany, Ana Cavalcanti, University of York, UK)
    FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Naoki Kobayashi, The University of Tokyo, Japan James Worrell, University of Oxford, UK)
    TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs: Bernd Finkbeiner, CISPA, Germany, Laura Kovacs, TU Wien, Austria)