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
Short | Full Name | Submission | Conference |
---|---|---|---|
DEPEND | International Conference on Dependability | 2013-08-25 | |
APPROX | International Workshop on Approximation Algorithms for Combinatorial Optimization Problems | 2017-04-21 | 2017-08-16 |
IPEC' | Asia-Pacific Conference on Image Processing, Electronics and Computers | 2022-11-30 | 2023-04-14 |
EAIS | Evolving and Adaptive Intelligent Systems | 2022-02-07 | 2022-05-25 |
ICRACE | International Conference on Robotics, Automatics and Control Engineering | 2024-06-28 | 2023-12-01 |
I2MTC | International Instrumentation and Measurement Technology Conference | 2023-12-08 | 2024-05-20 |
ICVIP | International Conference on Video and Image Processing | 2025-10-25 | 2025-12-05 |
INAIT | International Conference on Industry 4.0 and Artificial Intelligence Technologies | 2018-10-05 | 2019-08-19 |
ICSAI | International Conference on Systems and Informatics | 2024-11-30 | 2024-12-14 |
EuroSys | European Conference on Computer Systems | 2025-09-18 | 2026-04-13 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
The Scientific World Journal | Hindawi | 1537-744X | ||
c | The Journal of Supercomputing | 2.500 | Springer | 0920-8542 |
c | Proceedings of the ACM on Human-Computer Interaction | ACM | 2573-0142 | |
Information Fusion | 14.70 | Elsevier | 1566-2535 | |
Journal of Formalized Reasoning | Alma Mater Studiorum | 1972-5787 | ||
IEEE Transactions on Intelligent Vehicles | 14.00 | IEEE | 2379-8858 | |
IEEE Computer | 2.000 | IEEE | 0018-9162 | |
International Journal of Game Theory and Technology | AIRCC | 2455-0892 | ||
c | Logical Methods in Computer Science | Logical Methods in Computer Science | 1860-5974 | |
Computer Science & Engineering: An International Journal | AIRCC | 2231-3583 |
Full Name | Impact Factor | Publisher |
---|---|---|
The Scientific World Journal | Hindawi | |
The Journal of Supercomputing | 2.500 | Springer |
Proceedings of the ACM on Human-Computer Interaction | ACM | |
Information Fusion | 14.70 | Elsevier |
Journal of Formalized Reasoning | Alma Mater Studiorum | |
IEEE Transactions on Intelligent Vehicles | 14.00 | IEEE |
IEEE Computer | 2.000 | IEEE |
International Journal of Game Theory and Technology | AIRCC | |
Logical Methods in Computer Science | Logical Methods in Computer Science | |
Computer Science & Engineering: An International Journal | AIRCC |
Recommendation