[TYPES/announce] Conference on Homotopy in Concurrency and Rewriting

[Philippe Malbos]

Conference on
=====================================
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:

http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/hcr.html

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 on the webpage:

http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/hcr.html#registration

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)