FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
PAAR PROGRAM
Thursday, July 19th

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

09:00-10:30 Session 130D: Welcome and Invited Talk
Chair:
Pascal Fontaine
Location: Maths LT3
09:00
Magnus O. Myreen
The CakeML Verified Compiler and Toolchain (abstract)
10:00
Michael Rawson and Giles Reger
Dynamic Strategy Priority: Empower the strong and abandon the weak (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 132D: Automated Reasoning I
Chair:
Philipp Ruemmer
Location: Maths LT3
11:00
Jørgen Villadsen, Anders Schlichtkrull and Andreas Halkjær From
A Verified Simple Prover for First-Order Logic (abstract)
11:30
Jens Otten
Proof Search Optimizations for Non-clausal Connection Calculi (abstract)
12:00
Geoff Sutcliffe and Evgenii Kotelnikov
TFX: The TPTP Extended Typed First-order Form (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 134D: Automated Reasoning II
Chair:
Josef Urban
Location: Maths LT3
14:00
Gabriel Ebner and Matthias Schlaipfer
Efficient translation of sequent calculus proofs into natural deduction proofs (abstract)
14:30
Ahmed Bhayat and Giles Reger
Set of Support for Higher-Order Reasoning (abstract)
15:00
Ullrich Hustadt, Cláudia Nalon and Clare Dixon
Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics (abstract)
15:30-16:00Coffee Break