FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Minimal models for monomial algebras

Pedro Tamaroff

Generalizations of the associative operad and convergent rewrite systems

Cyrille Chenavier, Christophe Cordero and Samuele Giraudo

Merge-bicategories: towards semi-strictification of higher categories

Amar Hadzihasanovic

The equivalence between opetopic sets and many-to-one polygraphs

Cédric Ho Thanh

Minimal Bacus FP is Turing Complete

Richard Statman
Total: 5 presentations.