ABOUT ETAPS

ETAPS is a 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 2026 is the twenty-nineth 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 (AE).
    In addition to the conference, ETAPS also unites the software science community with activities such as a blog on software science, a PhD workshop, sessions on diversity and inclusion and an ask-me-anything session.
    Poster and Tool demo sessions are organized over the week.
    Spin Symposium and Rust Verification Workshop are colocated with ETAPS again.

What is new in 2026?

    Submission deadlines are strict and firm, no exceptions will be granted.
    FoSSaCS 2026 will adopt a double-blind reviewing process, in line with the other ETAPS conferences.
    Program Committee (PC) members of FoSSaCS will be allowed to submit up to one paper to FoSSaCS. These submissions will be held to a higher acceptance threshold - for example, PC submissions will not be part of the final vote.

MAIN CONFERENCES (April 13-16, 2026)

    ESOP: European Symposium on Programming (PC chair: Robbert Krebbers, Radboud University; AE chair: Michael Sammler, ISTA)
    FASE: Fundamental Approaches to Software Engineering (PC chairs: Elvira Albert, Complutense University of Madrid, Corina Pasareanu, NASA Ames; AE chair: Yannic Noller, Ruhr University Bochum)
    FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Nathalie Bertrand, Rennes University, Stefan Milius, Friedrich-Alexander Universitaet; AE chair: Guillermo Alberto Perez, University of Antwerp)
    TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs: Sebastian Junges, Radboud University, Guy Katz, Hebrew University; AE chairs: Guy Amir, Cornell University, Matthias Volk, Eindhoven University of Technology)