FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

Editors: Samuel Mimram, Yves Guiraud and Philippe Malbos

Authors	Title	Paper	Talk
Thibaut Benjamin	Towards a fully formalized definition of syllepsis in weak higher categories		Jul 07 15:00
Cyrille Chenavier, Christophe Cordero and Samuele Giraudo	Generalizations of the associative operad and convergent rewrite systems		Jul 07 17:00
Antonin Delpeuch and Jamie Vicary	Normal forms for planar connected string diagrams		Jul 07 17:30
Benjamin Dupont	Termination in linear (2,2)-categories with braidings and duals		Jul 07 12:00
Amar Hadzihasanovic	Merge-bicategories: towards semi-strictification of higher categories		Jul 07 10:00
Nohra Hage	String data structures for Chinese monoids		Jul 07 16:30
Cédric Ho Thanh	The equivalence between opetopic sets and many-to-one polygraphs		Jul 07 11:00
Richard Statman	Minimal Bacus FP is Turing Complete		Jul 07 16:00
Pedro Tamaroff	Minimal models for monomial algebras		Jul 07 11:30

Disclaimer | Powered by EasyChair Smart Program