FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

F
Frerix, Steffen	Text-Orientated Formal Mathematics
From, Andreas Halkjær	Drawing Trees
G
Gorzny, Jan	Partial Regularization of First-Order Resolution Proofs
Grebing, Sarah	Adding Text-Based Interaction to a Direct-Manipulation Interface for Program Verification -- Lessons Learned
K
Koepke, Peter	Text-Orientated Formal Mathematics
L
Libal, Tomer	Interfacing with a Prover using Focusing and Logic Programming
P
Postan, Ezequiel	Partial Regularization of First-Order Resolution Proofs
S
Schlichtkrull, Anders	Drawing Trees
Sterling, Mark	Automated Theorem Proving in a Chat Environment
T
Tien Luong, An Thuy	Adding Text-Based Interaction to a Direct-Manipulation Interface for Program Verification -- Lessons Learned
V
Vicary, Jamie	Designing Globular: formal proofs as geometrical objects (Invited Talk)
Villadsen, Jørgen	Drawing Trees
W
Weigl, Alexander	Adding Text-Based Interaction to a Direct-Manipulation Interface for Program Verification -- Lessons Learned
Wenzel, Makarius	Isabelle/PIDE after 10 years of development
Woltzenlogel Paleo, Bruno	Partial Regularization of First-Order Resolution Proofs
Z
Zhumagambetov, Rustam	Automated Theorem Proving in a Chat Environment

Disclaimer | Powered by EasyChair Smart Program