============================================= 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) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]