FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
ARQNL PROGRAM
Wednesday, July 18th

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

09:00-10:00 Session 125A: ARQNL Invited Talk: Larry Moss
09:00
Automated Reasoning In Natural Language: Current Directions (abstract)
10:00-10:30 Session 126: ARQNL Regular Papers 1
10:00
Evidence Extraction from Parameterised Boolean Equation Systems (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 127A: ARQNL Regular Papers 2
11:00
Labelled Calculi for QMLs with Non-Rigid and Non-Denoting Terms (abstract)
11:30
An Outline for Simple Semi-automated Proof Assistants for First-order Modal Logics (abstract)
12:00
Labelled Connection-based Proof Search for Multiplicative Intuitionistic Linear Logic (abstract)
12:30-14:00Lunch Break
15:30-16:00Coffee Break
16:00-17:30 Session 130A: ARQNL Presentation only & System demos
16:00
Formalization of a Paraconsistent Infinite-Valued Logic (abstract)
16:30
System Demonstration: The Higher-Order Prover Leo-III (abstract)
19:15-21:30 Workshops dinner at Magdalen College

Workshops dinner at Magdalen College. Drinks reception from 7.15pm, to be seated by 7:45 (pre-booking via FLoC registration system required; guests welcome).