FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Sheaf models of classical logic extended by independence relations

Alex Simpson

Fast cut-elimination using proof terms: an empirical study

Gabriel Ebner

Admissible tools in the kitchen of intuitionistic logic

Matteo Manighetti and Andrea Condoluci
Total: 3 presentations.