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 directly in a more readable form.

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.

List of Topics

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 method, connection tableau calculus, 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

Important Dates

• 17 August 2023: Early workshop and/or conference registration
• 1 September 2023: Abstract submission
• 4 September 2023: Paper submission
• 7 September 2023: Author notifications
• 11 September 2023: Final paper version
• 18 September 2023: Workshop

Paper Categories and 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. Submission of papers that are related to the scope of the AReCCa Workshop are solicited in three categories:

• (A) Talk abstracts (up to 2 pages excluding references);
• (B) Short papers (up to 8 pages excluding references);
• (C) Full papers (up to 15 pages excluding references).

Category (B) typically includes system descriptions and demonstrations.

Submission is electronically, through EasyChair at

• https://easychair.org/conferences/?conf=arecca2023

and should be in standard PDF format. There will be a quick review of submissions by the programme committee. Accepted papers of all three categories will be included in informal proceedings and made available shortly before the workshop. At least one author of each accepted paper is expected to present the submitted paper at the workshop.

Formal Proceedings

For the formal (post-workshop) proceedings, authors of accepted papers (in all three categories) are invited to submit final (and extended) versions of their papers (or abstracts) a few weeks after the workshop. Final paper submissions must belong to category (B) or (C). All submitted papers must be original, i.e. not published in an earlier workshop, conference or journal. Submissions will be refereed by the programme committee, and evaluated with respect to relevance, originality, and correctness.

The formal proceedings will be published in the CEUR Workshop Proceedings (CEUR-WS). Papers should be prepared using the CEUR-ART style, which can be downloaded at http://ceur-ws.org/Vol-XXX/CEURART.zip. An Overleaf page for the LaTeX style is also available at https://www.overleaf.com/read/gwhxnqcghhdt.

Programme Committee

• Christoph Benzmüller, University of Bamberg
• Wolfgang Bibel (co-chair), Technical University of Darmstadt
• Chad Brown, Czech Technical University in Prague
• David Cerna, Czech Academy of Sciences
• Michael Färber, University of Innsbruck
• Didier Galmiche, LORIA - Université de Lorraine
• Sean Holden, University of Cambridge
• Cezary Kaliszyk, University of Innsbruck
• Jens Otten (co-chair), University of Oslo
• 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

Venue

The AReCCa 2023 workshop is associated with TABLEAUX 2023, the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods in Prague, Czech Republic. It will take place at the Czech Institute of Informatics, Robotics, and Cybernetics (CIIRC) of the Czech Technical University in Prague (CTU).

Registration: See the TABLEAUX website for more information about the venue and information on how to register for TABLEAUX and the AReCCa workshop.

Organizers and Contact

• Jens Otten, University of Oslo
• Wolfgang Bibel, Technical University of Darmstadt

See the workshop website at http://leancop.de/AReCCa-2023/ for more details.