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
Location: Maths LT3
09:00
The CakeML Verified Compiler and Toolchain (abstract)
10:00
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
Location: Maths LT3
11:00
A Verified Simple Prover for First-Order Logic (abstract)
11:30
Proof Search Optimizations for Non-clausal Connection Calculi (abstract)
12:00
TFX: The TPTP Extended Typed First-order Form (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 134D: Automated Reasoning II
Location: Maths LT3
14:00
Efficient translation of sequent calculus proofs into natural deduction proofs (abstract)
14:30
Set of Support for Higher-Order Reasoning (abstract)
15:00
Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics (abstract)
15:30-16:00Coffee Break