FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

Editors: Pedro Quaresma and Walther Neuper

Authors	Title	Paper	Talk
Julien Narboux	GeoCoq: Formalized Foundations of Geometry
Nuno Baeta and Pedro Quaresma	Rating of Geometric Automated Theorem Provers		Jul 18 10:00
Walther Neuper	Lucas Interpretation from Programmers’ Perspective		Jul 18 11:00
Jørgen Villadsen, Andreas Halkjær From and Anders Schlichtkrull	Natural Deduction Assistant (NaDeA)		Jul 18 09:30
Anders Schlichtkrull, Jørgen Villadsen and Andreas Halkjær From	Students' Proof Assistant (SPA)		Jul 18 09:00
Jørgen Villadsen	Proving in the Isabelle Proof Assistant that the Set of Real Numbers is not Countable		Jul 18 14:30
Maximilian Doré and Krysia Broda	Towards intuitive reasoning in axiomatic geometry		Jul 18 14:00

Disclaimer | Powered by EasyChair Smart Program