FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

Editors: Boris Konev, Josef Urban and Philipp Ruemmer

Authors	Title	Paper	Talk
Magnus O. Myreen	The CakeML Verified Compiler and Toolchain		Jul 19 09:00
Ahmed Bhayat and Giles Reger	Set of Support for Higher-Order Reasoning		Jul 19 14:30
Gabriel Ebner and Matthias Schlaipfer	Efficient translation of sequent calculus proofs into natural deduction proofs		Jul 19 14:00
Ullrich Hustadt, Cláudia Nalon and Clare Dixon	Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics		Jul 19 15:00
Jens Otten	Proof Search Optimizations for Non-clausal Connection Calculi		Jul 19 11:30
Michael Rawson and Giles Reger	Dynamic Strategy Priority: Empower the strong and abandon the weak		Jul 19 10:00
Geoff Sutcliffe and Evgenii Kotelnikov	TFX: The TPTP Extended Typed First-order Form		Jul 19 12:00
Jørgen Villadsen, Anders Schlichtkrull and Andreas Halkjær From	A Verified Simple Prover for First-Order Logic		Jul 19 11:00

Disclaimer | Powered by EasyChair Smart Program