2020-07-05. Diagrammatic sets and rewriting in weak higher categories.
At First Workshop on Geometric and Categorical Structures in Computation and Deduction.
2020-06-11. Diagrammatic sets: weak higher categories for rewriting.
At TallCat Seminar, TalTech, Tallinn, Estonia.
2019-12-17. Representable diagrammatic sets as a model of weak higher categories.
At Sixth Symposium on Compositional Structures, Leicester, United Kingdom.
2019-10-31. Diagrammatic sets between rewriting and topology.
Invited. At RIMS Computer Science Seminar, Kyoto, Japan.
2018-09-24. ZW calculi: diagrammatic languages for quantum computing.
Invited. At 7th Conference Logic and Applications, IUC, Dubrovnik, Croatia.
2018-07-07. Merge-bicategories: towards semi-strictification of higher categories.
At 4th Workshop on Higher-Dimensional Rewriting and Algebra, Oxford, United Kingdom.
2018-07-05. Regular polygraphs and semi-strictification of higher categories.
Invited. At Séminaire Catégories supérieures, polygraphes et homotopie, IRIF, Paris, France.
2018-03-06. Units without degeneracy, from polycategories to sequent calculi.
At Second Workshop on Mathematical Logic and its Applications, Kanazawa, Japan.
2018-01-23. Bringing compositionality to rewriting theory via polygraphs.
Invited. At NII Shonan Meeting on Intensional and extensional aspects of computation, Japan.
2017-09-08. A combinatorial-topological shape category for polygraphs.
At 3rd Workshop on Higher-Dimensional Rewriting and Algebra, Oxford, United Kingdom.