Prof. Dr. Christoph Benzmueller
The Third International ARCADE (Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements) Workshop will take place in association with The 28th International Conference on Automated Deduction (CADE-28) on July 16, 2021. Just like CADE, ARCADE 2021 will be virtual due to the COVID-19 pandemic.
The main goal of this workshop is 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. The intention is to provide an opportunity to discuss broad issues facing the community.
The first ARCADE was held in conjunction with CADE-26 in Gothenburg, Sweden. The second ARCADE was collocated with CADE-27 in Natal, Brazil.
Prof. Dr. Christoph Benzmueller