Algebra and computation (27 February – 2 March)
This week deals with interactions between algebraic combinatorics and rewriting theory: algebraic invariants in computation, relating homological and algorithmic properties of rewriting systems, and the use of rewriting in algebraic combinatorics, offering effective computation and proof techniques. Themes of interest includes the use of ordered structures (lattices, event structures, directed homotopy) in logic and concurrency theory, as well as recent work on interpretations of type theory in homotopy.
Lecturers
- Vladimir Dotsenko (Université du Luxembourg, Luxembourg)
- Timothy Porter (University of Wales, Bangor, UK)
- Michael Warren (IAS, Princeton, USA)
Invited speakers
- Dimitri Ara (Université Paris 7)
- Albert Burroni (Université Paris 7)
- Marcelo Fiore (University of Cambridge, UK)
- Nicola Gambino (University of Palermo)
- Stéphane Gaussent (Université Nancy 1)
- André Joyal (Université du Québec à Montréal)
- Yves Lafont (Université Aix-Marseille 2)
- Jean-Louis Loday (CNRS and Zinbiel Institute of Mathematics, Strasbourg)
- Paul-André Melliès (CNRS, Université Paris 7)
- Samuel Mimram (CEA Saclay)
- Pierre Rannou (Université Aix-Marseille 2)
- Bruno Vallette (Université de Nice-Sophia Antipolis)