*Higher-Dimensional Rewriting and Algebra*

4th edition of the workshop

July 7, 2018, Oxford, United Kingdom

Satellite workshop of FSCD 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

*higher-dimensional rewriting*: extensions of rewriting theory to higher-dimensional settings (operads, opetopes, polygraphs/computads, parity complexes, augmented directed complexes, etc.), generalizations of string/term/graph rewriting systems, etc.*higher categorical structures*: weakening, combination and comparison of categorical structures (monoids, bialgebras, Frobenius algebras, Lie algebras, etc.), coherence theorems, etc.*applications of rewriting to algebraic topology*: construction of resolutions, homotopical and homological invariants, linear rewriting (Gröbner bases, applications to algebras and operads), Koszul duality theory, etc.*applications and interactions with other fields*: calculi for quantum computations, proof nets, algebraic lambda-calculi, topological models for concurrency, homotopy type theory, combinatorial group theory, etc.*implementations*: the workshop will also be interested in implementation issues in higher-dimensional rewriting and will allow demonstrations of prototypes of existing and new tools in higher-dimensional rewriting.

## Invited Speakers

TBA

## Programme

TBA

## Venue

TBA

## Important Dates

- Paper Submission: June 25, 2018
- Notification of Acceptance: July 10, 2018
- Final version: July 18, 2018
- Conference: September 8-9, 2018

## Organization Committee

- Yves Guiraud (INRIA, Université Paris 7)
`yves.guiraud(@)irif.fr` - Philippe Malbos (Université Claude Bernard Lyon 1)
`malbos(@)math.univ-lyon1.fr` - Samuel Mimram (École Polytechnique)
`samuel.mimram(@)lix.polytechnique.fr`

## Program Committee

- Yves Guiraud (INRIA, Université Paris 7)
- Philippe Malbos (Université Claude Bernard Lyon 1)
- Paul-André Melliès (Université Paris Diderot)
- Samuel Mimram (École Polytechnique)
- Tim Porter
- Femke van Raamsdonk (VU University, Amsterdam)
- Pawel Sobocinski (University of Southampton)
- Jamie Vicary (University of Oxford)