FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Automated Theorem Proving in a Chat Environment

Rustam Zhumagambetov and Mark Sterling

Isabelle/PIDE after 10 years of development

Makarius Wenzel

Designing Globular: formal proofs as geometrical objects (Invited Talk)

Jamie Vicary

Partial Regularization of First-Order Resolution Proofs

Jan Gorzny, Ezequiel Postan and Bruno Woltzenlogel Paleo
Total: 4 presentations.