Programme

Invited Speakers

  • Larry Moss, Indiana University
    "Automated Reasoning In Natural Language: Current Directions"
  • Giles Reger, University of Manchester
    "Going Beyond First-Order Logic with Vampire"

Schedule

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

Location: University of Oxford (see FLoC website for more information about the venue)

Wednesday, 18 July 2018

09:00-10:30Session 1
09:00-10:00Invited Talk
Larry Moss (Indiana University)
Automated Reasoning In Natural Language: Current Directions
10:00-10:30Wieger Wesselink and Tim Willemse
Evidence Extraction from Parameterised Boolean Equation Systems
10:30-11:00Coffee Break
11:00-12:30Session 2
11:00-11:30Eugenio Orlandelli and Giovanna Corsi
Labelled calculi for QMLs with non-rigid and non-denoting terms
11:30-12:00Tomer Libal
An Outline for Simple Semi-automated Proof Assistants for First-order Modal Logics
12:00-12:30Daniel Mery and Didier Galmiche
Labelled Connection-based Proof Search for Multiplicative Intuitionistic Linear Logic
12:30-14:00Lunch
14:00-15:30Session 3
14:00-15:00Invited Talk
Giles Reger (University of Manchester)
Going Beyond First-Order Logic with Vampire
15:00-15:30Ahmad-Saher Azizi-Sultan
Pseudo-Propositional Logic
15:30-16:00Coffee Break
16:00-17:00Session 4
16:00-16:30Anders Schlichtkrull
Formalization of a Paraconsistent Infinite-Valued Logic
16:30-17:00Alexander Steen and Christoph Benzmüller
System Demonstration: The Higher-Order Prover Leo-III