FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
A-infinity-(co)algebras	Minimal models for monomial algebras (PDF, talk)
Adjunctions	Termination in linear (2,2)-categories with braidings and duals (PDF, talk)
Associative operad	Generalizations of the associative operad and convergent rewrite systems (PDF, talk)
B
Backus FP	Minimal Bacus FP is Turing Complete (PDF, talk)
bicategories	Merge-bicategories: towards semi-strictification of higher categories (PDF, talk)
Braidings	Termination in linear (2,2)-categories with braidings and duals (PDF, talk)
Buchberger algorithm	Generalizations of the associative operad and convergent rewrite systems (PDF, talk)
C
Cartesian Monoids	Minimal Bacus FP is Turing Complete (PDF, talk)
Categorification	Termination in linear (2,2)-categories with braidings and duals (PDF, talk)
Chinese monoids	String data structures for Chinese monoids (PDF, talk)
coherence	Merge-bicategories: towards semi-strictification of higher categories (PDF, talk)
coherent presentations	String data structures for Chinese monoids (PDF, talk)
combinatorics	Generalizations of the associative operad and convergent rewrite systems (PDF, talk)
Confluence and Standardization	Minimal Bacus FP is Turing Complete (PDF, talk)
cross-section property	String data structures for Chinese monoids (PDF, talk)
E
Eckmann-Hilton morphism	Towards a fully formalized definition of syllepsis in weak higher categories (PDF, talk)
F
formalization	Towards a fully formalized definition of syllepsis in weak higher categories (PDF, talk)
H
Higher dimensional linear rewriting	Termination in linear (2,2)-categories with braidings and duals (PDF, talk)
Homological algebra	Minimal models for monomial algebras (PDF, talk)
Homotopical algebra	Minimal models for monomial algebras (PDF, talk)
I
isotopy	Normal forms for planar connected string diagrams (PDF, talk)
L
Linear categories	Termination in linear (2,2)-categories with braidings and duals (PDF, talk)
Linear polygraphs	Termination in linear (2,2)-categories with braidings and duals (PDF, talk)
M
Minimal models	Minimal models for monomial algebras (PDF, talk)
monoidal categories	Normal forms for planar connected string diagrams (PDF, talk)
multicategories	Merge-bicategories: towards semi-strictification of higher categories (PDF, talk)
multitope	The equivalence between opetopic sets and many-to-one polygraphs (PDF, talk)
N
normal forms	Normal forms for planar connected string diagrams (PDF, talk)
O
Operad	Generalizations of the associative operad and convergent rewrite systems (PDF, talk)
opetope	The equivalence between opetopic sets and many-to-one polygraphs (PDF, talk)
P
polycategories	Merge-bicategories: towards semi-strictification of higher categories (PDF, talk)
polygraph	The equivalence between opetopic sets and many-to-one polygraphs (PDF, talk)
polygraphs	Merge-bicategories: towards semi-strictification of higher categories (PDF, talk)
R
Rewrite system	Generalizations of the associative operad and convergent rewrite systems (PDF, talk)
rewriting	Normal forms for planar connected string diagrams (PDF, talk)
S
Simulation of Turing Machines	Minimal Bacus FP is Turing Complete (PDF, talk)
strictification	Merge-bicategories: towards semi-strictification of higher categories (PDF, talk)
string data structures	String data structures for Chinese monoids (PDF, talk)
string diagram	Normal forms for planar connected string diagrams (PDF, talk)
Sylleptic categories	Towards a fully formalized definition of syllepsis in weak higher categories (PDF, talk)
T
termination	Termination in linear (2,2)-categories with braidings and duals (PDF, talk)
Tree	Generalizations of the associative operad and convergent rewrite systems (PDF, talk)
W
Weak omega category theory	Towards a fully formalized definition of syllepsis in weak higher categories (PDF, talk)
weak units	Merge-bicategories: towards semi-strictification of higher categories (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program