FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

C
chat bot	Automated Theorem Proving in a Chat Environment (PDF, talk)
Controlled Natural Language	Text-Orientated Formal Mathematics (PDF, talk)
D
Deductive interactive program verification	Adding Text-Based Interaction to a Direct-Manipulation Interface for Program Verification -- Lessons Learned (PDF, talk)
direct-manipulation interaction	Adding Text-Based Interaction to a Direct-Manipulation Interface for Program Verification -- Lessons Learned (PDF, talk)
F
first-order logic	Partial Regularization of First-Order Resolution Proofs (PDF, talk)
focused sequent calculus	Implementing a Proof Assistant using Focusing and Logic Programming (PDF, talk)
G
generic proof assistant	Implementing a Proof Assistant using Focusing and Logic Programming (PDF, talk)
H
higher-order logic programming	Implementing a Proof Assistant using Focusing and Logic Programming (PDF, talk)
I
interactive theorem prover	Automated Theorem Proving in a Chat Environment (PDF, talk)
Isabelle	Isabelle/PIDE after 10 years of development (PDF, talk)
J
jEdit	Isabelle/PIDE after 10 years of development (PDF, talk)
L
lambda-prolog	Implementing a Proof Assistant using Focusing and Logic Programming (PDF, talk)
M
Mathematical language	Text-Orientated Formal Mathematics (PDF, talk)
N
Natural language	Text-Orientated Formal Mathematics (PDF, talk)
P
proof assistant	Implementing a Proof Assistant using Focusing and Logic Programming (PDF, talk)
Proof checking	Text-Orientated Formal Mathematics (PDF, talk)
proof compression	Partial Regularization of First-Order Resolution Proofs (PDF, talk)
Prover IDE	Isabelle/PIDE after 10 years of development (PDF, talk)
R
Resolution	Partial Regularization of First-Order Resolution Proofs (PDF, talk)
S
simple proof assistant	Implementing a Proof Assistant using Focusing and Logic Programming (PDF, talk)
T
TCP server	Isabelle/PIDE after 10 years of development (PDF, talk)
text-based interaction	Adding Text-Based Interaction to a Direct-Manipulation Interface for Program Verification -- Lessons Learned (PDF, talk)
U
unification	Partial Regularization of First-Order Resolution Proofs (PDF, talk)
user interface	Automated Theorem Proving in a Chat Environment (PDF, talk)
V
VSCode	Isabelle/PIDE after 10 years of development (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program