Logic and interactions 2012

CIRM, Marseille — 30 January – 2 March

Algebra and computation (27 February – 2 March)

9:00 9:30 10:00 10:30 11:00 11:30 12:00 12:30 14:00 14:30 15:00 15:30 16:00 16:30 17:00 17:30 18:00
  • Monday 27
    • Timothy Porter, Rewriting and Homotopy
    • Michael Warren, Homotopy and type theory
    • André Joyal, On the enrichement of operads over cooperads
    • Marcelo Fiore, Second-Order Algebra and Generalised Polynomial Functors
    • Yves Lafont, Diagrammatic syntax for algebra
    • Pierre Rannou, Bialgebras and ∑-diagrams
  • Tuesday 28
    • Vladimir Dotsenko, Rewriting methods for associative algebras and operads
    • Timothy Porter, Rewriting and Homotopy
    • Albert Burroni, Analyse de la catégorie des polygraphes
    • Samuel Mimram, A polygraphic presentation of first-order causality
    • Stéphane Gaussent, Coherent presentations and actions on categories
    • Bruno Vallette, Associative algebras – Homotopy associative algebra
  • Wednesday 29
    • Michael Warren, Homotopy and type theory
    • Vladimir Dotsenko, Rewriting methods for associative algebras and operads
    • Jean-Louis Loday, Homotopy Transfer Theorem
  • Thursday 1
    • Timothy Porter, Rewriting and Homotopy
    • Michael Warren, Homotopy and type theory
    • Nicola Gambino, Homotopy-initial W-types
    • Bruno Vallette, Associative algebras – Koszul duality and Diamond Lemma
    • Paul-André Melliès, Braided notions of dialogue categories
    • Dimitri Ara, On Grothendieck infinity-groupoids
  • Friday 2
    • Vladimir Dotsenko, Rewriting methods for associative algebras and operads
    • Timothy Porter, Rewriting and Homotopy
    • Jean-Louis Loday, Homotopy Transfer Theorem
Contact
Home, Committees, Sponsors, Practical information.
Programme
Complexity, Logic and interaction, Proofs and programs, Quantitative approaches, Algebra and computation (presentation, participants, talks & abstracts, schedule, time table).
Registration
Pre-register or Login.