Categorical methods and in particular higher categories are becoming more and more central to a broad range of fields of mathematics. The goal of this meeting is to bring together mathematicians from various fields around these categorical tools. In particular, the following fields will be represented: homotopy theory, rewriting, higher categories, theoretical computer science, geometric group theory, operads, theoretical physics, homological algebra, homotopy type theory.

Two mini-courses will be given: one, on the occasion of the 30 years of Squier's Theorem, by Phillipe Malbos on Squier's theory for monoids and algebras; one, by François Métayer on the homotopy theory of strict omega-categories and its connections with homology of monoids.

A limited number of slots will be available for participants to present their work related to the conference in short contributed talks.