FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

Editors: Mateja Jamnik and Christoph Lüth

Authors	Title	Paper	Talk
Jamie Vicary	Designing Globular: formal proofs as geometrical objects
Tomer Libal	Implementing a Proof Assistant using Focusing and Logic Programming		Jul 13 10:00
Jan Gorzny, Ezequiel Postan and Bruno Woltzenlogel Paleo	Partial Regularization of First-Order Resolution Proofs		Jul 13 11:00
Sarah Grebing, An Thuy Tien Luong and Alexander Weigl	Adding Text-Based Interaction to a Direct-Manipulation Interface for Program Verification -- Lessons Learned		Jul 13 11:30
Rustam Zhumagambetov and Mark Sterling	Automated Theorem Proving in a Chat Environment		Jul 13 12:00
Makarius Wenzel	Isabelle/PIDE after 10 years of development		Jul 13 14:00
Steffen Frerix and Peter Koepke	Text-Orientated Formal Mathematics		Jul 13 14:30

Disclaimer | Powered by EasyChair Smart Program