Higher-Dimensional Rewriting and Algebra

4th edition of the workshop
July 7, 2018, Oxford, United Kingdom
Satellite workshop of FSCD 2018, part of FLOC 2018.

Overview

Rewriting consists in orienting equalities. This seemingly simple point of view has given rise to a rich theory, which was first developped in computer science for handling strings and terms, and was then extended over the recent years to many other settings (operads, monoidal categories, higher categories, etc.), allowing it to have applications in algebra, homotopy theory and physics. All these generalizations fit into the general scope of higher-dimensional rewriting theory, which has emerged as a unifying algebraic framework.

The aim of the workshop is to gather people interested in pushing further rewriting theory, using (higher) category theory as a common language. It is open to all topics concerning higher-dimensional generalizations and applications of rewriting theory, including

Submission

Deadline for submissions: April 20, 2018.

Submission should consist in an extended abstract, in pdf format, approximatively 6 pages long, in standard article format. The submissions should be uploaded through the Easychair website.

Invited Speakers

Programme

TBA

Venue

TBA

Important Dates

Organization Committee

Program Committee

Past editions