Home Categories About Call for Papers

TACAS 2021 : 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Luxembourg, Luxembourg

Event Date:	March 27, 2021 - April 01, 2021
Submission Deadline:	October 15, 2020

About

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.

Call for Papers

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.

Summary

TACAS 2021 : 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems will take place in Luxembourg, Luxembourg. It’s a 6 days event starting on Mar 27, 2021 (Saturday) and will be winded up on Apr 01, 2021 (Thursday).

TACAS 2021 falls under the following areas: ALGORITHMS, etc. Submissions for this Conference can be made by Oct 15, 2020.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the TACAS 2021

Short Name: TACAS 2021
Full Name: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Timing: 09:00 AM-06:00 PM (expected)
Fees: Check the official website of TACAS 2021
Event Type: Conference
Website Link: https://etaps.org/2021/tacas
Location/Address: Luxembourg, Luxembourg

Credits and Sources

[1] TACAS 2021 : 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems