From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id D51437F6CB for ; Mon, 9 Feb 2015 14:39:55 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of samuel.mimram@lix.polytechnique.fr) identity=pra; client-ip=129.104.30.14; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="samuel.mimram@lix.polytechnique.fr"; x-sender="samuel.mimram@lix.polytechnique.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of samuel.mimram@lix.polytechnique.fr) identity=mailfrom; client-ip=129.104.30.14; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="samuel.mimram@lix.polytechnique.fr"; x-sender="samuel.mimram@lix.polytechnique.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mx-a.polytechnique.fr) identity=helo; client-ip=129.104.30.14; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="samuel.mimram@lix.polytechnique.fr"; x-sender="postmaster@mx-a.polytechnique.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0D3AgATuNhUnA4eaIFCGoNYWgGDAbY6iTuFcSpuQwEBAQEBARABAQEBAQgLCQkULoQELAYPAQUwEAE1AgUWCwILAwIBAgFYAQcChW2CPAQJN7BflgoBAQEBBgEBAQEBHYEhiyeDMIJvDoE0BYVSjRmHKoRyjDCCMYFgbgGCQQEBBQ X-IPAS-Result: A0D3AgATuNhUnA4eaIFCGoNYWgGDAbY6iTuFcSpuQwEBAQEBARABAQEBAQgLCQkULoQELAYPAQUwEAE1AgUWCwILAwIBAgFYAQcChW2CPAQJN7BflgoBAQEBBgEBAQEBHYEhiyeDMIJvDoE0BYVSjRmHKoRyjDCCMYFgbgGCQQEBBQ X-IronPort-AV: E=Sophos;i="5.09,544,1418079600"; d="scan'208";a="99409091" Received: from mx-a.polytechnique.fr ([129.104.30.14]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 Feb 2015 14:39:55 +0100 Received: from argos.lix.polytechnique.fr (argos.lix.polytechnique.fr [193.55.176.2]) by mx-a.polytechnique.fr (tbp 5.3.2/2.0.7) with ESMTP id t19DdNw9009370; Mon, 9 Feb 2015 14:39:24 +0100 Received: from [192.168.1.40] (89.235.97.84.rev.sfr.net [84.97.235.89]) (using TLSv1.2 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) by argos.lix.polytechnique.fr (Postfix) with ESMTPSA id 5D2B02CD10; Mon, 9 Feb 2015 14:39:23 +0100 (CET) Message-ID: <54D8B801.9030301@lix.polytechnique.fr> Date: Mon, 09 Feb 2015 14:37:05 +0100 From: Samuel Mimram User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.4.0 MIME-Version: 1.0 CC: Yves Guiraud , Philippe Malbos Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Validation-by: samuel.mimram@lix.polytechnique.fr Subject: [Caml-list] HDRA 2015: Call for Papers ============================================= CALL FOR PAPERS Higher-Dimensional Rewriting and Applications (HDRA 2015) ============================================= ------------------------------------------------------------------------------- First edition of the workshop on Higher-Dimensional Rewriting and Applications 28-29 June 2015, Warsaw, Poland http://rdp15.mimuw.edu.pl/index.php?site=hdra Co-located with the RDP, RTA and TLCA conferences ------------------------------------------------------------------------------- Over recent years, rewriting methods have been generalized from strings and terms to richer algebraic structures such as operads, monoidal categories, and more generally higher-dimensional categories. These extensions of rewriting fit in the general scope of higher-dimensional rewriting theory, which has emerged as a unifying algebraic framework. This approach allows one to perform homotopical and homological analysis of rewriting systems (Squier theory). It also provides new computational methods in combinatorial algebra (Artin-Tits monoids, Coxeter and Garside structures), in homotopical and homological algebra (construction of cofibrant replacements, Koszulness property). The workshop is open to all topics concerning higher-dimensional generalizations and applications of rewriting theory, including - higher-dimensional rewriting: polygraphs / computads, higher-dimensional generalizations of string/term/graph rewriting systems, etc. - homotopical invariants of rewriting systems: homotopical and homological finiteness properties, Squier theory, algebraic Morse theory, coherence results in algebra and higher-dimensional category theory, etc. - linear rewriting: presentations and resolutions of algebras and operads, Gröbner bases and generalizations, homotopy and homology of algebras and operads, Koszul duality theory, etc. - applications of higher-dimensional and linear rewriting and their interactions with other fields: calculi for quantum computations, algebraic lambda-calculi, proof nets, topological models for concurrency, homotopy type theory, combinatorial group theory, etc. - implementations: the workshop will also be interested in implementation issues in higher-dimensional rewriting and will allow demonstrations of prototypes of existing and new tools in higher-dimensional rewriting. Invited speakers ================ * John Baez * TBA Submission ========== Important dates --------------- * Submission: April 15, 2015 * Notification: May 6, 2015 * Final version: May 20, 2015 * Conference: 28-29 June, 2015 Submitting ---------- Submissions should consist in an extended abstract, in pdf format, approximatively 5 pages long, in standard article format. The page for uploading those is https://easychair.org/conferences/?conf=hdra2015 Proceedings ----------- The accepted extended abstracts will be made available electronically before the workshop. Program committee ================= * Vladimir Dotsenko (Trinity College, Dublin) * Yves Guiraud (INRIA / Université Paris 7) * Jean-Pierre Jouannaud (École Polytechnique) * Philippe Malbos (Université Claude Bernard Lyon 1) * Paul-André Melliès (Université Paris 7) * Samuel Mimram (École Polytechnique) * Tim Porter (University of Wales, Bangor) * Femke van Raamsdonk (VU University, Amsterdam) Organizers ========== * Yves Guiraud (INRIA / Université Paris 7) * Philippe Malbos (Université Claude Bernard Lyon 1) * Samuel Mimram (École Polytechnique)