CONFERENCE
Homotopy in Concurrency and Rewriting

June 9-11, 2015
Palaiseau

A conference will take place in École Polytechnique (in Palaiseau, near Paris, France) about tools and methods which originate from geometry in concurrency and rewriting. Details can be found on the dedicated webpage.

Presentation

The conference on directed algebraic topology, concurrency and rewriting aims at bringing together researchers interested in applying methods originating in topology and in higher-dimensional rewriting. It is motivated by the discovery, over the recent years, of many connections between the study of concurrent processes from a topological point of view and rewriting methods and structures. It will be interested in applications of those fields to problems commonly encountered in computer science, in the study of concurrent and distributed processes, in semantics of programming languages, but also to more theoretical questions arising from the study of structures found in algebraic topology such as operads and higher-dimensional categories.

Program

The program is still preliminary, and should be updated regularly on the webpage.

Tuesday June 9

  • Sanjeevi Krishnan
  • Steve Oudot
  • Carlos Simpson
  • Teimuraz Pirashvili

Wednesday June 10

  • Vladimir Dotsenko
  • Timothy Porter
  • Emily Burgunder
  • Richard Steiner
  • Marcelo Fiore

Thursday June 11

  • Jérémy Dubut
  • Dimitri Ara
  • Viktoriya Ozornova
  • Albert Burroni

Friday June 12

On Friday will take place the meeting of the ANR project CATHRE on thematics closely related to those of the conference. All participants are welcome to attend to the presentations.

Registration

The registration is free, but all participants are required to register for practical purposes using the form.

Organizers

In case of any practical matter, feel free to contact any of the organizers:

  • Samuel Mimram (École Polytechnique)
  • Yves Guiraud (INRIA / Université Paris 7)
  • Philippe Malbos (Université Claude Bernard Lyon 1)