TACAS 2026: Call for Papers

TACAS 2026 is the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, held as part of ETAPS 2026 in Turin, Italy, from April 13-16, 2026.

Scope

TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building systems.

Theoretical papers with clear relevance for tool construction and analysis, as well as tool descriptions and case studies with a conceptual message, are all encouraged. The topics covered by the conference include, but are not limited to:

• Specification and verification techniques;
• Software and hardware verification;
• Analytical techniques for real-time, hybrid, or stochastic systems;
• Analytical techniques for safety, security, or dependability;
• SAT and SMT solving;
• Theorem proving;
• Model checking;
• Static and dynamic program analysis;
• Testing;
• Abstraction techniques for modeling and verification;
• Compositional and refinement-based methodologies;
• System construction and transformation techniques;
• Machine-learning techniques for synthesis and verification;
• Tool environments and tool architectures;
• Applications and case studies.

Important Dates

All deadlines are strict and firm:

• Submission deadline for TACAS, FoSSaCS, FASE: October 16, 2025
• TACAS mandatory artifact submission deadline (for tools): October 30, 2025
• Rebuttal (ESOP, FoSSaCS, TACAS): December 8–10, 2025
• Paper notification and TACAS mandatory artifact notification: December 22, 2025
• TACAS voluntary artifact submission deadline: January 8, 2026
• Paper final version: January 22, 2026
• Artifact notification TACAS (voluntary artifacts): February 12, 2026
• Main Conference: April 13–16, 2026

Submission Categories

TACAS accepts four types of submissions:

1. Research Papers: Identify and justify a principled advance to the theoretical foundations for the construction and analysis of systems. Where applicable, they are supported by experimental validation. Artifact evaluation is not mandatory but strongly encouraged.
   • Authors are encouraged to not put their submission on arXiv (or similar repos) around 2 weeks before and after the submission deadline.
2. Case-Study Papers: Full-length case-studies describing the application of techniques to a real-world problem. They must provide a detailed description of the case-study, related techniques, modeling aspects, detailed results, and conclusions of interest beyond TACAS. Artifact evaluation is not mandatory but strongly encouraged.
3. Regular Tool Papers: Full-length papers describing a tool or a new version of a tool built using novel algorithmic and engineering techniques. Tools must be of broad interest and utility. Papers must clearly describe the problem, its importance, related work, novelty of techniques, construction, unique features, usage, and benchmarking. Mandatory artifact evaluation is required.
4. Tool-Demonstration Papers: Short papers demonstrating a new tool or application of an existing tool on a significant and novel case-study. Accepted if deemed interesting and novel by the PC. Mandatory artifact evaluation is required.

Paper Submission

• Submit paper: https://easychair.org/conferences/?conf=tacas26
• Formatting: Submissions must follow the formatting guidelines of Springer’s LNCS (use the llncs.cls class).
• **Page Limits (excluding bibliography and appendices):
  • Regular research papers, case study papers, and regular tool papers: 16 pp.
  • Tool demonstration papers: 6 pp.
• Appendices: Additional material can be placed in a clearly marked appendix. Reviewers are not obliged to read appendices.
• Review Process:
  • Double-blind for regular research papers.
  • Single-blind for case study papers, regular tool papers, and tool-demonstration papers.
• Author Limit: At most four submissions per author.
• Conflict of Interest (COI): Authors must declare COI with PC members. Falsely declared conflicts risk rejection.

Paper Evaluation

All papers will be judged on novelty, significance, correctness, and clarity. Reproducibility of results is of the utmost importance. Authors are encouraged to include support for replicating results (e.g., proofs, analysis, access to artifacts). Material not fitting the page limit may be provided as an appendix or on a supplementary website.

Artifact Evaluation

• Mandatory for regular tool paper and tool demonstration paper submissions.
• Voluntary for research paper and case study paper submissions (evaluated post-acceptance, does not alter paper acceptance decision).

Program Committee

PC Chairs:

• Sebastian Junges (Radboud University, Netherlands)
• Guy Katz (The Hebrew University of Jerusalem, Israel)

PC Members: (A selection is provided below)

• Erika Abraham (RWTH Aachen University, Germany)
• S. Akshay (IIT Bombay, India)
• Elvio Gilberto Amparore (Universita di Torino, Italy)
• Christel Baier (TU Dresden, Germany)
• Haniel Barbosa (Universidade Federal de Minas Gerais, Brazil)
• Armin Biere (University of Freiburg, Germany)
• Roderick Bloem (Graz University of Technology, Austria)
• Luca Bortolussi (University of Trieste, Italy)
• Yu-Fang Chen (Academia Sinica, Taiwan)
• Mingshuai Chen (Zhejiang University, China)
• Supratik Chakraborty (IIT Bombay, India)
• Alessandro Cimatti (Fondazione Bruno Kessler, Italy)
• Dana Drachsler Cohen (Technion, Israel)
• Dana Fisman (Ben-Gurion University, Israel)
• Florian Frohn (RWTH Aachen University, Germany)
• Hadar Frenkel (CISPA – Helmholtz Center for Information Security, Germany)
• Arie Gurfinkel (University of Waterloo, Canada)
• Arnd Hartmanns (University of Twente, Netherlands)
• Marijn Heule (Carnegie Mellon University, USA)
• Falk Howar (TU Clausthal / IPSSE, Germany)
• Omri Isac (The Hebrew University of Jerusalem, Israel)
• Nils Jansen (Ruhr University Bochum, Germany)
• Daniela Kaufmann (TU Wien, Austria)
• Orna Kupferman (The Hebrew University of Jerusalem, Israel)
• Alfons Laarman (Leiden University, Netherlands)
• Anastasia Mavridou (KBR / NASA Ames Research Center, USA)
• Aina Niemetz (Stanford University, USA)
• Dave Parker (University of Oxford, UK)
• Guillermo Perez (University of Antwerp, Belgium)
• Andrea Pferscher (University of Oslo, Norway)
• Kristin Yvonne Rozier (Iowa State University, USA)
• Ocan Sankur (Mitsubishi Electric R&D Centre Europe, France)
• Anne-Kathrin Schmuck (Max-Planck-Institute for Software Systems, Germany)
• Mihaela Sighireanu (Université Paris Cité, France)
• Sadegh Soudjani (Newcastle University, UK)
• Jiri Srba (Aalborg University, Denmark)
• Armando Tacchella (Università di Genova, Italy)
• Hazem Torfah (Chalmers University of Technology, Sweden)
• Yakir Vizel (The Technion, Israel)
• Bow-Yaw Wang (Academia Sinica, Taiwan)
• Dirk Beyer (LMU Munich, Germany)
• Wei-Ngan Chin (National University of Singapore, Singapore)
• Étienne André (Université Sorbonne Paris Nord, France)
• Clark Barrett (Stanford University, USA)
• Mirco Giacobbe (University of Birmingham, UK)
• Lijun Zhang (Institute of Software, Chinese Academy of Sciences, China)
• Đorđe Žikelić (Singapore Management University, Singapore)
• Yoni Zohar (Bar-Ilan University, Israel)

Publication

The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer’s LNCS series. The proceedings volumes will appear in gold open access, with no article processing charge for the authors. The copyright of the papers remains with the authors.