Conference Information
ETAPS 2026: European Joint Conferences on Theory and Practice of Software
https://etaps.org/2026/
Submission Date:
2025-10-30
Notification Date:
2025-12-22
Conference Date:
2026-04-11
Location:
Turin, Italy
CCF: b   Viewed: 29076   Tracked: 33   Attend: 0

Call For Papers
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)
Last updated by Dou Sun in 2025-06-29
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
b4DEPENDInternational Conference on Dependability 2013-05-172013-08-25
ab1APPROXInternational Workshop on Approximation Algorithms for Combinatorial Optimization Problems2017-04-212017-06-022017-08-16
IPEC'Asia-Pacific Conference on Image Processing, Electronics and Computers2022-11-302023-01-312023-04-14
EAISEvolving and Adaptive Intelligent Systems2022-02-072022-03-072022-05-25
ICRACEInternational Conference on Robotics, Automatics and Control Engineering2024-06-28 2023-12-01
I2MTCInternational Instrumentation and Measurement Technology Conference2023-12-082024-01-242024-05-20
ICVIPInternational Conference on Video and Image Processing2025-10-252025-11-252025-12-05
INAITInternational Conference on Industry 4.0 and Artificial Intelligence Technologies2018-10-05 2019-08-19
ICSAIInternational Conference on Systems and Informatics2024-11-302024-12-072024-12-14
aaa2EuroSysEuropean Conference on Computer Systems2025-09-182026-01-302026-04-13
Related Journals
CCFFull NameImpact FactorPublisherISSN
The Scientific World JournalHindawi1537-744X
cThe Journal of Supercomputing2.500Springer0920-8542
cProceedings of the ACM on Human-Computer InteractionACM2573-0142
Information Fusion14.70Elsevier1566-2535
Journal of Formalized ReasoningAlma Mater Studiorum1972-5787
IEEE Transactions on Intelligent Vehicles14.00IEEE2379-8858
IEEE Computer2.000IEEE0018-9162
International Journal of Game Theory and TechnologyAIRCC2455-0892
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
Computer Science & Engineering: An International Journal AIRCC2231-3583
Recommendation