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:00 | Opening of the ARQNL Workshop Christoph Benzmüller, Jens Otten and Revantha Ramanayake |
09:00-10:30 | Session 1: Non-Classical Theories |
09:00-10:00 | Invited Talk Separation Logics: Semantics and Proofs Didier Galmiche |
10:00-10:30 |
A Fresh Look at Relevant Number Theory John Slaney |
10:30-11:00 | Coffee 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:00 | Lunch Break |
14:00-16:00 | Session 3: Proof Theory of Non-Classical Logics |
14:00-15:00 | Invited 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:30 | Coffee Break |
16:30-17:30 | Session 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é |