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"
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) |