AReCCa 2023 Call for Papers International Workshop on Automated Reasoning with Connection Calculi (associated with TABLEAUX 2023) 18 September 2023, Prague, Czech Republic http://leancop.de/AReCCa-2023/ IMPORTANT DATES Abstract submission: 1 September 2023 Paper submission: 4 September 2023 Author notification: 7 September 2023 Final paper version: 11 September 2023 Workshop: 18 September 2023 MOTIVATION Connection calculi offer one of the most established bases for automating formal reasoning in classical and non-classical logics. Guiding the proof search by connections permits a systematic, goal-oriented and, hence, more efficient proof search. Due to their close relationship to sequent calculi and natural deduction, proofs in connection calculi can be presented in a more readable form. AIMS AND SCOPE The main goal of the AReCCa workshop is to foster the development of efficient connection calculi and connection provers for classical and non-classical logics. To this end, the AReCCa workshop provides a forum to bring together researchers that are interested in automated reasoning with connection calculi, in order to present, discuss and publish recent developments in this research area. The topics of the AReCCa workshop cover all theoretical and practical aspects related to the mechanization and automation of reasoning with connection calculi, including but not limited to: * proof search in connection calculi, including connection methods, connection tableau calculus, matings methods, model elimination * connection calculi for classical and non-classical logics, such as intuitionistic logic, modal logic, description logic, linear logic * propositional logic, first-order logic, higher-order logic * clausal and non-clausal connection calculi * optimization techniques, strategies and heuristics * machine learning for connection calculi * equality and arithmetic in connection calculi * decision procedures and counter example generation * implementations, experiments and tests * compact and lean implementations of connection calculi * user interfaces and proof presentation * applications and use cases for all sorts of domains AReCCa 2023 is associated with TABLEAUX 2023, the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (https://tableaux2023.tableaux-ar.org/). PAPER SUBMISSIONS We welcome a wide range of submissions, from talk abstracts, short papers, system descriptions to regular papers, from work-in-progress to completed work. All submitted papers will undergo a quick review process and accepted work will be collected in informal proceedings. Submission is electronically, through EasyChair (see the AReCCa 2023 website for further details). Authors of accepted submissions are invited to submit final and extended versions of their abstract or paper after the workshop. These submissions will be reviewed by the programme committee and accepted papers will be included in post-workshop proceedings, which are planned to be published in the CEUR Workshop Proceedings series. PROGRAMME COMMITTEE Christoph Benzmüller (University of Bamberg) Wolfgang Bibel (Technical University of Darmstadt), co-chair Chad Brown (Czech Technical University in Prague) David Cerna (Czech Academy of Sciences) Michael Färber (University of Innsbruck) Didier Galmiche (Université de Lorraine, CNRS, LORIA) Sean Holden (University of Cambridge) Cezary Kaliszyk (University of Innsbruck) Jens Otten (University of Oslo), co-chair Michael Rawson (TU Wien) Stephan Schulz (DHBW Stuttgart) Josef Urban (Czech Technical University in Prague) Christoph Wernhard (University of Potsdam) Zsolt Zombori (Hungarian Academy of Sciences) ORGANIZATION AND CONTACT The AReCCa 2023 workshop is organized by * Jens Otten, University of Oslo * Wolfgang Bibel, Technical University of Darmstadt See the AReCCa 2023 website at http://leancop.de/AReCCa-2023/ for contact details.