25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

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 and submission

See the ETAPS 2019 joint call for papers. Submit your paper via the TACAS 2019 author interface of EasyChair.

The review process of TACAS 2019 is single-blind, without a rebuttal phase.

Paper categories

TACAS 2019 solicits four types of submissions: research papers, case-study papers, regular tool papers, and tool demonstration papers. Papers of all four types will appear in the proceedings and have presentations during the conference.

  • Research papers clearly 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. Research papers can have a maximum of 15 pp (excluding bibliography).
  • Case-study papers report on case studies, preferably in a real world setting. They should provide information about the following aspects: the system being studied and the reasons it is of interest, the goals of the study, the challenges the system poses to automated analysis, research methodologies and approaches used, the degree to which goals were attained, and how the results can be generalized to other problems and domains. Case-study papers can have a maximum of 15 pp (excluding bibliography).
  • Regular tool papers present a new tool, a new tool component, or novel extensions to an existing tool. They should provide a short description of the theoretical foundations with relevant citations, and emphasize the design and implementation concerns, including software architecture and core data structures. A regular tool paper should give a clear account of the tool's functionality, discuss the tool's practical capabilities with reference to the type and size of problems it can handle, describe experience with realistic case studies, and where applicable, provide a rigorous experimental evaluation. Papers that present extensions to existing tools should clearly focus on the improvements or extensions with respect to previously published versions of the tool, preferably substantiated by data on enhancements in terms of resources and capabilities. Authors are strongly encouraged to make their tools publicly available, preferably on the web, even if only for the evaluation process. Tool papers can have a maximum of 15 pp (excluding bibliography).
  • Tool-demonstration papers focus on the usage aspects of tools. As with regular tool papers, authors are strongly encouraged to make their tools publicly available, preferably on the web. Theoretical foundations and experimental evaluation are not required, however, a motivation as to why the tool is interesting and significant should be provided. Tool demonstration papers can have a maximum of 6 pages.

Submission and evaluation criteria

Evaluation: All papers will be evaluated by the program committee, coordinated by the PC chairs for research papers, by the case-study chair for case-study papers, and by the tools chair for regular tool papers and tool demonstration papers. All papers will be judged on novelty, significance, correctness, and clarity.

Replicability of results: We consider that reproducibility of results is of the utmost importance for the TACAS community. Therefore, we encourage all authors of submitted papers to include support for replicating the results of their papers.  For theorems, this would mean providing proofs; for algorithms, this would mean including evidence of correctness and acceptable performance, either by a theoretical analysis or by experimentation; and for experiments one should provide access to the artifacts used to generate the experimental data. Material that does not fit into the paper or an appendix may be provided on a supplementary web site, with access appropriately enabled and license rights made clear. For example, the supplemental material for reviewing case-study papers and papers with experimental results could be classified as reviewer-confidential if necessary (e.g., if proprietary data are investigated or software is not open source).

Limit of 3 submissions: Each individual author is limited to a maximum of three submissions as an author or co-author. Authors of co-authored submissions are jointly responsible for respecting this policy. In case of violations, all submissions of this (co-)author will be desk-rejected.

Artifact evaluation

Authors of all accepted regular papers, tool papers, tool-demonstration papers, and case-study papers will be invited to submit (but are not required to submit) the relevant artifact for evaluation by the artifact evaluation committee (AEC). The AEC will read the paper and evaluate the artifact on the following criteria:

  • consistency with and replicability of results in the paper,
  • completeness,
  • documentation, and
  • ease of use.

More information can be found on the artifact webpage.

Competition on software verification

TACAS 2019 hosts the 8th Competition on Software Verification with the goal to evaluate technology transfer and compare state-of-the-art software verifiers with respect to effectiveness and efficiency.

Invited speaker

Cormac Flanagan (University of California at Santa Cruz, USA)

Program chairs

Tomáš Vojnar (Brno University of Technology, Czech Republic)
Lijun Zhang (Institute of Software, Chinese Academy of Sciences, China)

Tools chair

Marius Mikucionis (Aalborg University, Denmark)

Artifact evaluation chairs

Ernst Moritz Hahn (University of Liverpool, UK)
Ondrej Lengal (Brno University of Technology, Czech Republic)

Case study chair

Radu Grosu (Vienna University of Technology. Austria)

Competition chair

Dirk Beyer (Ludwig-Maximilians-Universität München, Germany)

Program committee

Parosh Aziz Abdulla (Uppsala University, Sweden)
Armin Biere (Johannes-Kepler-Universität Linz, Austria)
Ahmed Bouajjani (IRIF, France)
Patricia Bouyer (LSV, France)
Yu-Fang Chen (National Taiwan University, Taiwan)

Maria Christakis (MPI-SWS, Germany)
Alessandro Cimatti (FBK-irst, Italy)
Rance Cleaveland (University of Maryland, USA)
Leonardo de Moura (Microsoft Research, USA)
Parasara Sridhar Duggirala (University of Connecticut, USA)

Pierre Ganty (IMDEA Software Institute, Spain)
Orna Grumberg (Technion, Israel)
Klaus Havelund (Jet Propulsion Laboratory, USA)
Holger Hermanns (Universität des Saarlandes, Germany)
Falk Howar (Technische Universität Dortmund, Germany)

Marieke Huisman (Universiteit Twente, The Netherlands)
Radu Iosif (Verimag, France)
Joxan Jaffar (National University of Singapore, Singapore)
Stefan Kiefer (University of Oxford, UK)
Jan Kretinsky (Technische Universität München, Germany)

Salvatore La Torre (Università di Salerno, Italy)
Kim Guldstrand Larsen (Aalborg University, Denmark)
Anabelle McIver (Macquarie University, Australia)
Roland Meyer (Technische Universität Braunschweig, Germany)
Sebastian A. Mödersheim (Technical University of Denmark, Denmark)

David Parker (University of Birmingham, UK)
Corina Pasareanu (Carnegie Mellon University and NASA Ames Research Center, USA)
Sanjit Seshia (University of California at Berkeley, USA)
Bernhard Steffen (Technische Universität Dortmund, Germany)
Jan Strejček (Masaryk University, Czech Republic)

Zhendong Su (University of California at Davis, USA)
Meng Sun (Peking University, China)
Michael Tautschnig (Queen Mary, University of London and Amazon Web Services, UK)
Thomas Wies (New York University, USA)
Florian Zuleger (Technische Universität Wien, Austria)

Who's online

We have 118 guests and no members online

Site Hosted by