FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
ARQNL PROGRAM
Thursday, August 11th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
09:15-10:30 Session 123A
Chair:
Tba Soon
Location: Ullmann 104
09:15
Renate Schmidt
Advances and Challenges in the Development and Application of Forgetting Tools (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 125A
Chair:
Tba Soon
Location: Ullmann 104
11:00
Ana de Almeida Borges
Towards a Coq formalization of a quantified modal logic (abstract)
11:30
Tiziano Dalmonte, Andrea Mazzullo and Ana Ozaki
Reasoning in Non-normal Modal Description Logics (abstract)
PRESENTER: Andrea Mazzullo
12:00
Annika Kanckos
Intuitionistic derivability in Anderson's variant of the ontological argument (abstract)
12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

14:00-15:30 Session 127A
Chair:
Tba Soon
Location: Ullmann 104
14:00
Tomer Libal
Do Lawyers Use Automated Reasoning? (abstract)
15:00
Thomas Neele
(Re)moving Quantifiers to Simplify Parameterised Boolean Equation Systems (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 131A
Chair:
Tba Soon
Location: Ullmann 104
16:00
Jens Otten
Advancing Automated Theorem Proving for the Modal Logics D and S5 (abstract)
16:30
Xavier Parent and Christoph Benzmüller
Automated verification of deontic correspondences in Isabelle/HOL - First results (abstract)
PRESENTER: Xavier Parent
17:00
Alexander Steen, Geoff Sutcliffe, Tobias Gleißner and Christoph Benzmüller
Solving QMLTP Problems by Translation to Higher-order Logic (abstract)
PRESENTER: Geoff Sutcliffe
18:00-19:30Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event