Algebra and computation (27 February – 2 March)

Schedule

Monday 27

9:00 - 10:30
Lecture Timothy Porter (University of Wales, Bangor, UK) Rewriting and Homotopy
11:00 - 12:30
Lecture Michael Warren (IAS, Princeton, USA) Homotopy and type theory
14:00 - 15:00
Invited talk André Joyal (Université du Québec à Montréal) On the enrichement of operads over cooperads
15:00 - 16:00
Invited talk Marcelo Fiore (University of Cambridge, UK) Second-Order Algebra and Generalised Polynomial Functors
16:30 - 17:30
Invited talk Yves Lafont (Université Aix-Marseille 2) Diagrammatic syntax for algebra
17:30 - 18:30
Invited talk Pierre Rannou (Université Aix-Marseille 2) Bialgebras and ∑-diagrams

Tuesday 28

9:00 - 10:30
Lecture Vladimir Dotsenko (Université du Luxembourg, Luxembourg) Rewriting methods for associative algebras and operads
11:00 - 12:30
Lecture Timothy Porter (University of Wales, Bangor, UK) Rewriting and Homotopy
14:00 - 15:00
Invited talk Albert Burroni (Université Paris 7) Analyse de la catégorie des polygraphes
15:00 - 16:00
Invited talk Samuel Mimram (CEA Saclay) A polygraphic presentation of first-order causality
16:30 - 17:30
Invited talk Stéphane Gaussent (Université Nancy 1) Coherent presentations and actions on categories
17:30 - 18:30
Invited talk Bruno Vallette (Université de Nice-Sophia Antipolis) Associative algebras — Homotopy associative algebra

Wednesday 29

9:00 - 10:30
Lecture Michael Warren (IAS, Princeton, USA) Homotopy and type theory
11:00 - 12:30
Lecture Vladimir Dotsenko (Université du Luxembourg, Luxembourg) Rewriting methods for associative algebras and operads
14:00 - 15:00
Invited talk Jean-Louis Loday (CNRS and Zinbiel Institute of Mathematics, Strasbourg) Homotopy Transfer Theorem

Thursday 1

9:00 - 10:30
Lecture Timothy Porter (University of Wales, Bangor, UK) Rewriting and Homotopy
11:00 - 12:30
Lecture Michael Warren (IAS, Princeton, USA) Homotopy and type theory
14:00 - 15:00
Invited talk Nicola Gambino (University of Palermo) Homotopy-initial W-types
15:00 - 16:00
Invited talk Bruno Vallette (Université de Nice-Sophia Antipolis) Associative algebras — Koszul duality and Diamond Lemma
16:30 - 17:30
Invited talk Paul-André Melliès (CNRS, Université Paris 7) Braided notions of dialogue categories
17:30 - 18:30
Invited talk Dimitri Ara (Université Paris 7) On Grothendieck infinity-groupoids

Friday 2

9:00 - 10:30
Lecture Vladimir Dotsenko (Université du Luxembourg, Luxembourg) Rewriting methods for associative algebras and operads
11:00 - 12:30
Lecture Timothy Porter (University of Wales, Bangor, UK) Rewriting and Homotopy
14:00 - 15:00
Invited talk Jean-Louis Loday (CNRS and Zinbiel Institute of Mathematics, Strasbourg) Homotopy Transfer Theorem