Preface
TACAS 2020 was the 26th edition of the International Conference on Tools and
Algorithms for the Construction and Analysis of Systems conference series. TACAS
2020 was part of the 23rd European Joint Conferences on Theory and Practice of
Software (ETAPS 2020).
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. TACAS solicited four types of
submissions:
• Research papers advancing the theoretical foundations for the construction and
analysis of systems
• Case study papers with an emphasis on a real-world setting
• Regular tool papers presenting a new tool, a new tool component, or novel
extensions to an existing tool and requiring an artifact submission
• Tool demonstration papers focusing on the usage aspects of tools, also subject to
the artifact submission requirement
This year 155 papers were submitted to TACAS, consisting of 111 research papers,
8 case study papers, 19 regular tool papers, and 17 tool demo papers. Individual authors
were limited to a maximum of three submissions. Each paper was reviewed by at least
three Program Commitee (PC) members, who also provided feedback whether certain
papers should go through a rebuttal process.
The chairs asked for 59 rebuttals, usually following such rebuttal recommendations
by PC members. In parallel to PC reviewing, the Artifact Evaluation Committee
(AEC) reviewed the artifacts. A formal summary review of this evaluation was made
available to the PC members and taken into account in the discussion phase. The case
study chair and the tools chair made sure that identical reviewing and selection criteria
were applied within their respective class of papers. After this thorough reviewing,
rebuttal and discussion phase, a total of 48 papers were accepted, including 31 research
papers, 4 case study papers, 5 regular tool papers and 8 tool demo papers.
As in 2019, TACAS 2020 included an artifact evaluation (AE) for all types of
papers. There were two rounds of the AE: for regular tool papers and tool demonstration papers AE was compulsory and artifacts had to be submitted to the first round.
For research and case study papers, it was voluntary, and artifacts could be submitted to
either the first or the second round. The results of the first round were communicated to
TACAS 2020 was the 26th edition of the International Conference on Tools and
Algorithms for the Construction and Analysis of Systems conference series. TACAS
2020 was part of the 23rd European Joint Conferences on Theory and Practice of
Software (ETAPS 2020).
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. TACAS solicited four types of
submissions:
• Research papers advancing the theoretical foundations for the construction and
analysis of systems
• Case study papers with an emphasis on a real-world setting
• Regular tool papers presenting a new tool, a new tool component, or novel
extensions to an existing tool and requiring an artifact submission
• Tool demonstration papers focusing on the usage aspects of tools, also subject to
the artifact submission requirement
This year 155 papers were submitted to TACAS, consisting of 111 research papers,
8 case study papers, 19 regular tool papers, and 17 tool demo papers. Individual authors
were limited to a maximum of three submissions. Each paper was reviewed by at least
three Program Commitee (PC) members, who also provided feedback whether certain
papers should go through a rebuttal process.
The chairs asked for 59 rebuttals, usually following such rebuttal recommendations
by PC members. In parallel to PC reviewing, the Artifact Evaluation Committee
(AEC) reviewed the artifacts. A formal summary review of this evaluation was made
available to the PC members and taken into account in the discussion phase. The case
study chair and the tools chair made sure that identical reviewing and selection criteria
were applied within their respective class of papers. After this thorough reviewing,
rebuttal and discussion phase, a total of 48 papers were accepted, including 31 research
papers, 4 case study papers, 5 regular tool papers and 8 tool demo papers.
As in 2019, TACAS 2020 included an artifact evaluation (AE) for all types of
papers. There were two rounds of the AE: for regular tool papers and tool demonstration papers AE was compulsory and artifacts had to be submitted to the first round.
For research and case study papers, it was voluntary, and artifacts could be submitted to
either the first or the second round. The results of the first round were communicated to