ARCADE 2017: Editor's Preface

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, and 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. Each presentation presented a position statement and raised questions for general discussion. The format was informal and highly interactive. This volume contains a paper reporting on the activities and outcomes of the workshop.

The organization of ARCADE was very smooth and easy going, mainly due to the great support that we received from the CADE community. We thank Christoph Weidenbach, who initiated the workshop and jointly with Jasmin Blanchette helped to recruit most of the program committee. We are very grateful to Wolfgang Ahrendt and the local organization team for taking great care of everything on-site and reserving the venue for the ARCADE dinner. The latter was suggested by Reiner Hahnle and turned out to be a great choice. We thank the program committee (and one subreviewer) for detailed, careful, and constructive reviews and the pleasant discussion. We made use of the EasyChair system throughout the organisation of the workshop and are thankful for this very useful tool. Finally, we thank the authors and the attendees for creating such a diverse and timely program and discussion that will certainly have an impact on the future of automated reasoning.


Giles Reger
Dmitriy Traytel
August 6, 2017
Gothenburg