Programme

Venue and Registration

  • Venue: The workshop will take place at IDMC (Institut des Sciences du Digital, Management et Cognition), an institute of the University of Lorraine located in Nancy, Fance. See the information about the venue on the IJCAR website for more details. The welcome desk is located in the main hall of the IDMC building and will be open Monday from 8:30 a.m.
  • Registration: See the IJCAR website for more information on how to register for the ARQNL workshop. The early registration deadline is June 4th.

Invited Speakers

  • Didier Galmiche, Université de Lorraine, CNRS, LORIA
    "Separation Logics: Semantics and Proofs"
  • Amir Akbar Tabatabai, Czech Academy of Sciences
    "On the Computational Content of Intuitionistic Modal Proofs"

Proceedings

The ARQNL 2024 workshop proceedings are available at:
Download the ARQNL 2024 workshop proceedings as a single PDF file:

Schedule

Monday, 1 July 2024

08:55-09:00Opening of the ARQNL Workshop
Christoph Benzmüller, Jens Otten and Revantha Ramanayake
09:00-10:30 Session 1: Non-Classical Theories
09:00-10:00Invited Talk
Separation Logics: Semantics and Proofs
Didier Galmiche
10:00-10:30 A Fresh Look at Relevant Number Theory
John Slaney
10:30-11:00Coffee Break
11:00-12:30 Session 2: Automated Reasoning
11:00-11:30 Implementing Intermediate Logics
Bastiaan Haaksema, Jens Otten and Revantha Ramanayake
11:30-12:00 Automated Proof Search in Intuitionistic Sentential Logic
Didier Galmiche, Brandon Hornbeck and Daniel Méry
12:00-12:30 Implementing the Fatio Protocol for Multi-Agent Argumentation in LogiKEy
Luca Pasetto and Christoph Benzmüller
12:30-14:00Lunch Break
14:00-16:00Session 3: Proof Theory of Non-Classical Logics
14:00-15:00Invited Talk
On the Computational Content of Intuitionistic Modal Proofs
Amir Akbar Tabatabai
15:00-15:30 Bisequent Calculi for Neutral Free Logic with Definite Descriptions
Andrzej Indrzejczak and Yaroslav Petrukhin
15:30-16:00 When Epsilon meets Lambda: Extended Leśniewski's Ontology
Andrzej Indrzejczak
16:00-16:30Coffee Break
16:30-17:30Session 4: Quantifiers
16:30-17:00 On Regular Relations in Parametric Array Theories
Rodrigo Raya
17:00-17:30 A Proof-Theoretical Approach to Some Extensions of First Order Quantification
Loïc Allègre, Ophélie Lacroix and Christian Retoré