Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements

TL;DR

This paper summarizes the discussions and key achievements from the second ARCADE workshop, highlighting advances and future directions in various subfields of automated reasoning.

Contribution

It compiles insights and progress across multiple automated reasoning sub-communities, fostering collaboration and identifying future challenges.

Findings

Integration of diverse reasoning techniques

Emerging applications in formal verification

Identified research challenges and future directions

Abstract

These are the post-proceedings of the second ARCADE workshop, which took place on the 26th August 2019 in Natal, Brazil, colocated with CADE-27. ARCADE stands for Automated Reasoning: Challenges, Applications, Directions, Exemplary achievements. The goal of this workshop was to bring together key people from various sub-communities of automated reasoning--such as SAT/SMT, resolution, tableaux, theory-specific calculi (e.g. for description logic, arithmetic, set theory), interactive theorem proving---to discuss the present, past, and future of the field.