Programme

Venue/Registration

Location: Room 104, Ullmann Building, Technion (Israel Institute of Technology; map), Haifa
Registration: See the FLoC website for more information about the venue and information on how to register for the workshop

Invited Speakers

Tomer Libal, University of Luxembourg and The American University of Paris
"Do Lawyers Use Automated Reasoning?"
Renate Schmidt, The University of Manchester
"Advances and Challenges in the Development and Application of Forgetting Tools"

Proceedings

The ARQNL 2022 workshop proceedings are available at:

https://ceur-ws.org/Vol-3326/

Download the ARQNL 2022 workshop proceedings as a single PDF file:

ARQNL-2022_CEUR-Proceedings.pdf

Schedule

(See also the ARQNL programme at the FLoC EasyChair website.)

Thursday, 11 August 2022

09:00-10:30	Session 1
09:00-09:15	Christoph Benzmüller and Jens Otten Opening of the ARQNL Workshop
09:15-10:30	Invited Talk Renate Schmidt (The University of Manchester) Advances and Challenges in the Development and Application of Forgetting Tools
10:30-11:00	Coffee Break
11:00-12:30	Session 2
11:00-11:30	Ana de Almeida Borges Towards a Coq formalization of a quantified modal logic
11:30-12:00	Tiziano Dalmonte, Andrea Mazzullo and Ana Ozaki Reasoning in Non-normal Modal Description Logics
12:00-12:30	Annika Kanckos Intuitionistic derivability in Anderson's variant of the ontological argument
12:30-14:00	Lunch Break
14:00-15:30	Session 3
14:00-15:00	Invited Talk Tomer Libal (University of Luxembourg & The American University of Paris) Do Lawyers Use Automated Reasoning?
15:00-15:30	Thomas Neele (Re)moving Quantifiers to Simplify Parameterised Boolean Equation Systems
15:30-16:00	Coffee Break
16:00-17:30	Session 4
16:00-16:30	Jens Otten Advancing Automated Theorem Proving for the Modal Logics D and S5
16:30-17:00	Xavier Parent and Christoph Benzmüller Automated verification of deontic correspondences in Isabelle/HOL - First results
17:00-17:30	Alexander Steen, Geoff Sutcliffe, Tobias Gleißner and Christoph Benzmüller Solving QMLTP Problems by Translation to Higher-order Logic (presentation only)