Ranking & Metrics Conference Call for Papers Other Conferences in United States
TACAS 2022 : International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

TACAS 2022 : International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

Munich, Germany

Submission Deadline: Thursday 14 Oct 2021

Conference Dates: Apr 02, 2022 - Apr 07, 2022

Research
Impact Score 5.78

OFFICIAL WEBSITE

Conference Organizers: Deadline extended?
Click here to edit

Ranking & Metrics Impact Score is a novel metric devised to rank conferences based on the number of contributing top scientists in addition to the h-index estimated from the scientific papers published by top scientists. See more details on our methodology page.

Research Impact Score: 5.78
Contributing Top Scientist: 47
Papers published by Top Scientists 59
Research Ranking (Computer Science) 76

Conference 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.

Other Conferences in Germany

IWAENC 2020 : International Workshop on Acoustic Signal Enhancement

Sep 05, 2020 - Sep 08, 2020

Bamberg, Germany

Deadline: Friday 22 Apr 2022

IWAENC 2022 : International Workshop on Acoustic Signal Enhancement

Sep 05, 2022 - Sep 08, 2022

Bamberg, Germany

Deadline: Friday 22 Apr 2022

CHIIR 2022 : Conference on Human Information Interaction and Retrieval

Mar 14, 2022 - Mar 18, 2022

Regensburg, Germany

Deadline: Tuesday 05 Oct 2021

ESOP 2022 : European Symposium on Programming

Apr 02, 2022 - Apr 07, 2022

Munich, Germany

Deadline: Thursday 14 Oct 2021

FASE 2022 : International Conference on Fundamental Approaches to Software Engineering

Apr 02, 2022 - Apr 07, 2022

Munich, Germany

Deadline: Thursday 14 Oct 2021

Something went wrong. Please try again later.