FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

A Verified Simple Prover for First-Order Logic

Jørgen Villadsen, Anders Schlichtkrull and Andreas Halkjær From

Dynamic Strategy Priority: Empower the strong and abandon the weak

Michael Rawson and Giles Reger

Efficient translation of sequent calculus proofs into natural deduction proofs

Gabriel Ebner and Matthias Schlaipfer
Total: 3 presentations.