From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8596 Path: news.gmane.org!not-for-mail From: Philippe Malbos Newsgroups: gmane.science.mathematics.categories Subject: Conference on Homotopy in Concurrency and Rewriting Date: Thu, 16 Apr 2015 17:27:20 +0200 Message-ID: Reply-To: Philippe Malbos NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1429365622 14754 80.91.229.3 (18 Apr 2015 14:00:22 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 18 Apr 2015 14:00:22 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Sat Apr 18 16:00:07 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1YjTHy-0005Ix-Al for gsmc-categories@m.gmane.org; Sat, 18 Apr 2015 16:00:06 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:47431) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1YjTHQ-0004xS-W4; Sat, 18 Apr 2015 10:59:33 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1YjTHP-0003Ib-Q0 for categories-list@mlist.mta.ca; Sat, 18 Apr 2015 10:59:31 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8596 Archived-At: Conference on =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Homotopy in Concurrency and Rewriting =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D June 9-11, 2015 Palaiseau A conference will take place in =C9cole Polytechnique (in Palaiseau, near= =20 Paris, France) about tools and methods which originate from geometry in=20 concurrency and rewriting. Details can be found on the dedicated webpage: http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/hcr.html Presentation =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The conference on directed algebraic topology, concurrency and rewriting=20 aims at bringing together researchers interested in applying methods originating = in topology and in higher-dimensional rewriting. It is motivated by the=20 discovery, over the recent years, of many connections between the study of concurren= t processes from a topological point of view and rewriting methods and structures. It will be interested in applications of those fields to=20 problems commonly encountered in computer science, in the study of concurrent and distributed processes, in semantics of programming languages, but also=20 to more theoretical questions arising from the study of structures found in=20 algebraic topology such as operads and higher-dimensional categories. Program =3D=3D=3D=3D=3D=3D=3D 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=E9r=E9my Dubut * Dimitri Ara * Viktoriya Ozornova * Albert Burroni Friday June 12 -------------- On Friday will take place the meeting of the ANR project CATHRE on themat= ics closely related to those of the conference. All participants are welcome = to attend to the presentations. Registration =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The registration is free, but all participants are required to register f= or practical purposes using the form on the webpage: http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/hcr.html#registration Organizers =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D In case of any practical matter, feel free to contact any of the organize= rs: * Samuel Mimram (=C9cole Polytechnique) * Yves Guiraud (INRIA / Universit=E9 Paris 7) * Philippe Malbos (Universit=E9 Claude Bernard Lyon 1) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]