A Report of ARCADE 2017
Giles Reger, Dmitriy Traytel · EPiC series in computing · 2018
The ARCADE workshop took place on the 6th August 2017 in Gothenburg, colocated with CADE-26. 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. The workshop was attended by 45 people and consisted of 14 short presentations and 5 discussion sessions. The format was informal and highly interactive. This report gives a general overview of the presentations and summarizes the discussion sessions.