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 0A21080161 for ; Sun, 18 Jun 2017 21:32:45 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=samuel.mimram@lix.polytechnique.fr; spf=None smtp.mailfrom=samuel.mimram@lix.polytechnique.fr; spf=None smtp.helo=postmaster@mx-a.polytechnique.fr 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 IronPort-PHdr: =?us-ascii?q?9a23=3A/HiLORDSmQ1PuuJKVGuhUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP37pMSwAkXT6L1XgUPTWs2DsrQf2rWQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbQhFgDiwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VC+85Kl3VhDnlC?= =?us-ascii?q?YHNyY48G7JjMxwkLlbqw+lqxBm3oLYfJ2ZOP94c6jAf90VWHBBU95RWSJcHI2y?= =?us-ascii?q?bIUBAOQOMulEoIfwvEcOoBikCAWwGO/ixD1Fi3nr1qM6yeQhFgTG0RQ9Ed0UtX?= =?us-ascii?q?TUscv6NKMPWu6yzanIyC/DYOlT2Tzg74XIaQouofSRXb1udcrd00wvFwLAjlWK?= =?us-ascii?q?s4PlOiiY1uAMs2mU9eZgTeWvi2onqgFtvDeg2scsio/IhoIM11DL6z91wIgvJd?= =?us-ascii?q?ChTkNwfNCqEJxVty6ANot2RNsvQ2BuuCYgy70Jo4S3fCYQyJg/2RHQceeHcoiU?= =?us-ascii?q?7RLjTumRIC14iGhieLKliBa+6VKgyvDmWsmy1FZHqDdOnNrUtn0VyhDf9MyKRu?= =?us-ascii?q?Fg8ku91juDzQ7e5v1eLUwpmqfXM50szqAqmpYNr0jOGjX6lFjygaKYbEkp++6l?= =?us-ascii?q?4Pn9bLr8vJ+TLYp0hxn+Mqswnsy/Bvw1Mg0BXmSC4+uwzqXj/Ur9QLRKkv05jL?= =?us-ascii?q?XWsJDcJcQav665HhFa3pwt6xalFzum0dIYkmcbLF9dZR6LkYzkN0vTLPzkAvqz?= =?us-ascii?q?mVqhnCtxy/zbMbDtGpDNIWLCkLflc7Z98UlcyA8rwNBE/Z1UD6wBL+z3WkPrsd?= =?us-ascii?q?zYDxo5MxauzObiE9h90oIeWG2VDq+BN6PStV+J5v4xLOaQZI8Vvjf9K+E45/Hw?= =?us-ascii?q?l3M5l0UdcbGz3ZQLcHC4AuhmI0KBbHXwmNgBFGMKshM6TOzrk12CTSVeZ22yXq?= =?us-ascii?q?I5/jE0EpiqDYbFRoC3gbyOxj23HpNMZjMONlfZKn7taoiAE9INbTibJ4c1iTUB?= =?us-ascii?q?SLWlDYog0AunsSf+yqohNu3Q6zEVvpLl1cFo6qvdj0d2vQ1qAt/V/HyMVWhpki?= =?us-ascii?q?tcViE7x+ZwvE1nw0qP+bBgmLpFE91NoutASAYhcJLdw+FgDMy0VBiXOp+xSFei?= =?us-ascii?q?Q82+DHkUR9Y7xMRGN0N0H9+llTjG1jaqRaITlqLOAI0z9Pua0WKndOhnzHOT76?= =?us-ascii?q?AkklQiCu5OMHevg+Yr7AHWGoPN1UCYkryjcIwY3T6L7GCH3HaDt0FeURdtXOPL?= =?us-ascii?q?RyZMNQPtsd3l6xaaHPeVArM9P14EkJbaJw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CTBABf1EZZhw4eaIFcHRgHDBgHhAMDg?= =?us-ascii?q?QqDa5tvjVeIQoIRLIhkQRYBAQEBAQEBAQEBARIBAQEKCwkIKC+CMyQBgmQGDwE?= =?us-ascii?q?1RgImAl8BDAgBAYooBAytSYImi10BAQgBAQEBASOBC4VYgWArC4QogWmEVoJhB?= =?us-ascii?q?YlSlQxzgSOFGoM9inpWgm2FT4ZziR6LayYCgTkwISeFcwSBdHWJOgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CTBABf1EZZhw4eaIFcHRgHDBgHhAMDgQqDa5tvjVeIQoI?= =?us-ascii?q?RLIhkQRYBAQEBAQEBAQEBARIBAQEKCwkIKC+CMyQBgmQGDwE1RgImAl8BDAgBA?= =?us-ascii?q?YooBAytSYImi10BAQgBAQEBASOBC4VYgWArC4QogWmEVoJhBYlSlQxzgSOFGoM?= =?us-ascii?q?9inpWgm2FT4ZziR6LayYCgTkwISeFcwSBdHWJOgEBAQ?= X-IronPort-AV: E=Sophos;i="5.39,357,1493676000"; d="scan'208";a="228808749" Received: from mx-a.polytechnique.fr ([129.104.30.14]) by mail3-smtp-sop.national.inria.fr with ESMTP; 18 Jun 2017 21:32:41 +0200 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 v5IJVogJ014762; Sun, 18 Jun 2017 21:31:51 +0200 Received: from [192.168.1.27] (bob75-4-82-229-193-6.fbx.proxad.net [82.229.193.6]) (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 1F1A12587F; Sun, 18 Jun 2017 21:31:49 +0200 (CEST) From: Samuel Mimram To: Samuel Mimram , Yves Guiraud , Philippe Malbos Message-ID: <19a6e408-be01-4376-382b-3d3f31666ae1@lix.polytechnique.fr> Date: Sun, 18 Jun 2017 21:31:47 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Validation-by: samuel.mimram@lix.polytechnique.fr Subject: [Caml-list] HDRA 2017: Deadline extension ============================================= CALL FOR PAPERS Higher-Dimensional Rewriting and Applications (HDRA 2017) ============================================= Dear everybody, The deadline for submitting to HDRA has been extended by one week: you still have until *Sunday, June 25* in order to submit or update papers! ------------------------------------------------------------------------------- Third edition of the workshop on Higher-Dimensional Rewriting and Applications September 8-9 2017, Oxford, United Kingdom http://hdra.gforge.inria.fr/ Satellite workshop of FSCD 2017, co-located with STRING 2017. ------------------------------------------------------------------------------- Rewriting consists in orienting equalities. This seemingly simple point of view has given rise to a rich theory, which was first developped in computer science for handling strings and terms, and was then extended over the recent years to many other settings (operads, monoidal categories, higher categories, etc.), allowing it to have applications in algebra, homotopy theory and physics. All these generalizations fit into the general scope of higher-dimensional rewriting theory, which has emerged as a unifying algebraic framework. The aim of the workshop is to gather people interested in pushing further rewriting theory, using (higher) categories as a common language. It is open to all topics concerning higher-dimensional generalizations and applications of rewriting theory, including - higher-dimensional rewriting: extensions of rewriting theory to higher-dimensional settings (operads, opetopes, polygraphs/computads, parity complexes, augmented directed complexes, etc.), generalizations of string/term/graph rewriting systems, etc. - higher categorical structures: weakening, combination and comparison of categorical structures (monoids, bialgebras, Frobenius algebras, Lie algebras, etc.), coherence theorems, etc. - applications of rewriting to algebraic topology: construction of resolutions, homotopical and homological invariants, linear rewriting (Gröbner bases, applications to algebras and operads), Koszul duality theory, etc. - applications and interactions with other fields: calculi for quantum computations, proof nets, algebraic lambda-calculi, 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. HDRA 2017 will be co-located with the first edition of the STRING workshop (http://string2017.cs.ru.nl/) Invited speakers ================ * Dimitri Ara (Aix-Marseille Université) * Marcelo Fiore (University of Cambridge) * Paul-André Melliès (CNRS and Paris Diderot) Submission ========== Important dates --------------- * Submission: June 25, 2017 * Notification: July 2, 2017 * Final version: July 9, 2017 * Conference: September 8-9, 2017 Submitting ---------- Submissions should consist in an extended abstract, in pdf format, approximatively 6 pages long, in standard article format. The page for uploading those is https://easychair.org/conferences/?conf=hdra2017 Proceedings ----------- The accepted extended abstracts will be made available electronically before the workshop. Program committee ================= * Yves Guiraud (INRIA / Université Paris 7) * 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) * Pawel Sobocinski (University of Southampton) * Jamie Vicary (University of Oxford) Organizers ========== * Yves Guiraud (INRIA / Université Paris 7) * Philippe Malbos (Université Claude Bernard Lyon 1) * Samuel Mimram (École Polytechnique)