From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.7 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-oi1-x23e.google.com (mail-oi1-x23e.google.com [2607:f8b0:4864:20::23e]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 9cd146bf for ; Mon, 3 Feb 2020 09:31:09 +0000 (UTC) Received: by mail-oi1-x23e.google.com with SMTP id r6sf5587243oic.16 for ; Mon, 03 Feb 2020 01:31:09 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1580722268; cv=pass; d=google.com; s=arc-20160816; b=cKyp4zaICD0knzz22ePGzcjeQinzxtd19ck8OzY0LW8s71vRHJHasYWtu1Xo1rtn8I cFBM0QanG4g+ZkB7oZZJY3sL4vQhCVx6KMdAKBLEJnrdIspSkJ+7tN+gIR244GA64LWA WRGRbQYqZrHSi79RRmSXxllcx7DQffxswBMndAl4hTLjkObHr5Gb0ebAdHaIF1gMcmlp rkwWiBcaoaafMkVESb3G7AH0joebTbwMZYg1ULa1XKNuz2aS9zBDUSkTckLv7cEGkqzs 511AtCcA8y6UanYvB3wdU/VMOOg/dOdlNLGXuuT2Vdx20E2o7bY6xxbRH6I/OgZcAr5V GVnA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:content-transfer-encoding:to:subject :message-id:date:from:mime-version:sender:dkim-signature :dkim-signature; bh=4xhCLhNXqyqJWU31LDbbHCQEvGdN/doVNaAPx/7r4Bw=; b=Vxc/LELC4qCF2Me0bm9WUXLXq99PLzzLR3b6nqgRbO1n0OGnZ8JbI252Jj7BARh/uC krcdpLhlV2sULLAEkeSceVYjG64ZRTj02UGzYyEkx9K+VMdAFSGK14CT3/UxIJb6+uB2 FeHtQldAXZ5z8JrjS1vG6QGLxbHC1VUrhMACoc4K9gcK8ssjV/0ZlcfObejp5ZFlM0mD Rx+fjxbbd9E9j8iZgCvqZeL8Cmoe34lF9TJDpCUlPRq9f4W9oKt+b17q9ivz1IeAeik4 yAGRE1rCul0+Sf6bBC+C8jb7FMvioY5Zm4vm8gLtQw2QgfzN2JgWgNSRghdkRbUJsCJA stug== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=AlltEkox; spf=pass (google.com: domain of errenz@gmail.com designates 2607:f8b0:4864:20::c2f as permitted sender) smtp.mailfrom=errenz@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:mime-version:from:date:message-id:subject:to :content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=4xhCLhNXqyqJWU31LDbbHCQEvGdN/doVNaAPx/7r4Bw=; b=WoFSLcoAceIPy4p0iK4B4IIZzVu+0+y6dhKe/vcDZUFikroflO20RMJR6tXqhCIEgm z4uKuZoP1nbasOS8/Jqeg8c8h/33Lc9zsJmFmKq6mujrqGSEdk83DgtnT/OarJUb2uHO B4gjRd1jqIXYq9iRTZK+orLlPZxfbS3kTDuIO7LKkwKQQEMUkxM6lkZTd0xKEOMY8eHK tCIFXdPmOBid5H4RIn1FpH4oLXU3M4CEZfhn0sk3nYXQvt7aMXsZH8kVGi0Zduf99Ett B7lNyHULM2nr+7QvtWjd00LIDF+md1XqfRO8Pw+eQMho/zc8zD4zscDBcSNllzcZTjoK 6wRg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to :content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=4xhCLhNXqyqJWU31LDbbHCQEvGdN/doVNaAPx/7r4Bw=; b=KeRyHic+0zSQjtJf6cwP8OMBRKW9uC5jYtcm3/tivRZdtL5b5hGWdxEVQrmvCnu4Um BPyTZLE3vw3r6bE94jmNmk9KvLXyQQccu8UgeSqc5pYrZyeeo1NqHGcPctfMkIJRCjYb hK0sOzurmy6slz6d9YCOI/rx+79NXsMLcYqUBvL0RXxEpk5e93I6yO1CYO1yGNzLo4dQ EejOdtkRvErBSxrkdelJus/XoLm7s4R9LYjy25v/q2GFFe5TzWLPIi/Jy3u9UcIRNgYt OiOx8OtLfCGDgtiBvdRdkWqXJCKf6MxpLcyhVwZ7DC1k/fSgxrbSDOhNIWViw/43QxzP Yl1A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:mime-version:from:date:message-id:subject :to:content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-unsubscribe; bh=4xhCLhNXqyqJWU31LDbbHCQEvGdN/doVNaAPx/7r4Bw=; b=q2RUne0NCUP55PfOlFrQahvrMfoDpV2aHRcLhtTHfAX95kzZlYnVShsE9OHu+DSgdF g/vIOdCjKNW31J3pgVmWalT0JzNwUVRCjljYh+9DIoQ1dgGODeZvjkVPcF0f+TLt5xEc ODoxJOwq18uU5lFuPt3eW7kZcsDShEd/4LCgkwgLgN5mBFTPB0eVrXjQvU91pAuTIyOO k1W79YYekA+eIC18oXXXcJp6aYr6HM3GEHDOxfwPJuIpHptu5MkirPwl7JfPAHqqswLM O49Vb1/wkGKZenISYcMkt6L9fmYZkkkTxEatU75tY1Scx4j5m8an45jE0Dqzan8UsuGC 3FNg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAVgcigjnwaawW0WxomfHeCEoxGYssmawJmR3CeQ+UODRS57eryQ jqHVNQQBKfhHOc/i71qcNoE= X-Google-Smtp-Source: APXvYqzEnx80JX7WIwMXNdswVKjvTPBk+Xdo2FFUOBl8gZoKmfdFRA6i0Jmxq4tEb8I3s/buXCROzQ== X-Received: by 2002:aca:db43:: with SMTP id s64mr13296503oig.144.1580722268521; Mon, 03 Feb 2020 01:31:08 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:7109:: with SMTP id n9ls721935otj.10.gmail; Mon, 03 Feb 2020 01:31:08 -0800 (PST) X-Received: by 2002:a05:6830:1e37:: with SMTP id t23mr17579456otr.16.1580722268123; Mon, 03 Feb 2020 01:31:08 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1580722268; cv=none; d=google.com; s=arc-20160816; b=zqLHZJZ/5wD1DZQAdZdplxK72X4Spu7chGHKH+vHSCbUa4doXGJRC/S19kXjt5yafu 5iCNgo6x5Bat2/2SfAeO4XAfw2m2AGYr5xJIl/p5uTD4i1ZGqoQaFqEeu2jKEs5u1N0r 0v3bw8m8pY4kTfETjkd4AXrgbbIxBkiRm1KK16NMiFJbXc9E/1VL3iWMAfo4JSc2btN0 8mP57Q0csed02h7zTIvOYfebdlDHrg2ONeJplXpQ5ZXpbOaWre0X8I1hGzyeYYIacC4+ o68UjZ7EET6bXT4L3IVueMJ5jzLcn2E8taYnmZtrCg6tUZkyjXAHAoWC6tkAFHT8zm7s XhsA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:dkim-signature; bh=RN58CfvqrJm/N+yVrdCey28m1f1N64H2xuh3YQTZ15U=; b=XRO4IzTwVvUGl5+M0fXt+837A7aUCRAfPXLb8ei/5Y5X1orTj12g/+wr5GOLPUPhJi GGba/dmqXwNiFh/Y+lQE2o7axjtzDE+O9mj23/pT0FcOyKARnl3tQbIPUFoiluix6kUK RTUrYehpdhsfjgOHSmDZqqcahakQ0IHD6t6zVsb0/Jbfu3AOCPO2BdCeAxwZTQ+RxTd7 d/xDelk1psbUV2adF/u1pIpwBPRsH/gPgn2fM93Hm7+ig5wC6uvY325js06NqdO55VFT f8e94YlTfDKq2EqmxAUy2wmsanaxA0Mbby4fx11C4I7wZrpvVVgV0iDpZia0cxLlBeDV TN9w== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=AlltEkox; spf=pass (google.com: domain of errenz@gmail.com designates 2607:f8b0:4864:20::c2f as permitted sender) smtp.mailfrom=errenz@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-yw1-xc2f.google.com (mail-yw1-xc2f.google.com. [2607:f8b0:4864:20::c2f]) by gmr-mx.google.com with ESMTPS id o11si1110667otk.0.2020.02.03.01.31.08 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 03 Feb 2020 01:31:08 -0800 (PST) Received-SPF: pass (google.com: domain of errenz@gmail.com designates 2607:f8b0:4864:20::c2f as permitted sender) client-ip=2607:f8b0:4864:20::c2f; Received: by mail-yw1-xc2f.google.com with SMTP id 192so13063956ywy.0 for ; Mon, 03 Feb 2020 01:31:08 -0800 (PST) X-Received: by 2002:a81:9b88:: with SMTP id s130mr37891ywg.103.1580722267413; Mon, 03 Feb 2020 01:31:07 -0800 (PST) MIME-Version: 1.0 From: Amar Hadzihasanovic Date: Mon, 3 Feb 2020 10:30:56 +0100 Message-ID: Subject: [HoTT] SYCO 7 - Final Call for Papers To: HomotopyTypeTheory@googlegroups.com Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Original-Sender: errenz@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=AlltEkox; spf=pass (google.com: domain of errenz@gmail.com designates 2607:f8b0:4864:20::c2f as permitted sender) smtp.mailfrom=errenz@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , =3D=3D=3D=3D=3D=3D=3D=3D FINAL CALL FOR PAPERS SEVENTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 7) Tallinn University of Technology, Estonia 30-31 March 2020 http://events.cs.bham.ac.uk/syco/7/ =3D=3D=3D=3D=3D=3D=3D=3D The Symposium on Compositional Structures (SYCO) is an interdisciplinary series of meetings aiming to support the growing community of researchers interested in the phenomenon of compositionality, from both applied and abstract perspectives, and in particular where category theory serves as a unifying common language. Previous SYCO events have been held at University of Birmingham, University of Strathclyde, University of Oxford, Chapman University, and University of Leicester. We welcome submissions from researchers across computer science, mathematics, physics, philosophy, and beyond, with the aim of fostering friendly discussion, disseminating new ideas, and spreading knowledge between fields. Submission is encouraged for both mature research and work in progress, and by both established academics and junior researchers, including students. While no list of topics could be exhaustive, SYCO welcomes submissions with a compositional focus related to any of the following areas, in particular from the perspective of category theory: - logical methods in computer science, including classical and quantum programming, type theory, concurrency, natural language processing and machine learning; - graphical calculi, including string diagrams, Petri nets and reaction networks; - languages and frameworks, including process algebras, proof nets, type theory and game semantics; - abstract algebra and pure category theory, including monoidal category theory, higher category theory, operads, polygraphs, and relationships to homotopy theory; - quantum algebra, including quantum computation and representation theory; - tools and techniques, including rewriting, formal proofs and proof assistants, and game theory; - industrial applications, including case studies and real-world problem descriptions. INVITED SPEAKERS =3D=3D=3D=3D=3D=3D=3D=3D Bartek Klin, University of Warsaw Christine Tasson, IRIF, Universit=C3=A9 de Paris IMPORTANT DATES =3D=3D=3D=3D=3D=3D=3D=3D All deadlines are 23:59 Anywhere on Earth. Submission deadline: Monday 10 February 2020 Author notification: Monday 17 February 2020 Symposium dates: Monday 30 and Tuesday 31 March 2020 SUBMISSION INSTRUCTIONS =3D=3D=3D=3D=3D=3D=3D=3D Submission are by EasyChair, via the SYCO 7 submission page: https://easychair.org/conferences/?conf=3Dsyco7 Submission is easy, with no format requirements or page restrictions. The meeting does not have proceedings, so work can be submitted even if it has been submitted or published elsewhere. Think creatively--- you could submit a recent paper, or notes on work in progress, or even a recent Masters or PhD thesis. In the event that more good-quality submissions are received than can be accommodated in the timetable, the programme committee may choose to *defer* some submissions to a future meeting, rather than reject them. Deferred submissions can be re-submitted to any future SYCO meeting, where they will not need peer review, and where they will be prioritised for inclusion in the programme. Meetings will be held sufficiently frequently to avoid a backlog of deferred papers. If you have a submission which was deferred from a previous SYCO meeting, it will not automatically be considered for SYCO 7; you still need to submit it again through EasyChair. When submitting, append the words "DEFERRED FROM SYCO X" to the title of your paper, replacing "X" with the appropriate meeting number. There is no need to attach any documents. PROGRAMME COMMITTEE =3D=3D=3D=3D=3D=3D=3D=3D Miriam Backens, University of Birmingham Christoph Dorn, University of Oxford Ross Duncan, University of Strathclyde Brendan Fong, MIT Amar Hadzihasanovic, IRIF, Universit=C3=A9 de Paris (PC chair) Chris Heunen, University of Edinburgh Alex Kavvos, Aarhus University Marie Kerjean, INRIA Bretagne Atlantique, =C3=89quipe Gallinette Kohei Kishida, University of Illinois at Urbana-Champaign Martha Lewis, ILLC, University of Amsterdam Samuel Mimram, =C3=89cole Polytechnique Koko Muroya, RIMS, Kyoto University Jovana Obradovi=C4=87, Institute of Mathematics CAS Viktoriya Ozornova, Ruhr-Universit=C3=A4t Bochum Simona Paoli, University of Leicester Mehrnoosh Sadrzadeh, University College London Pawel Sobocinski, Tallinn University of Technology Christina Vasilakopoulou, University of Patras Jamie Vicary, University of Birmingham and University of Oxford Maaike Zwart, University of Oxford --=20 Amar Hadzihasanovic IRIF, Universit=C3=A9 de Paris http://www.irif.fr/~ahadziha/ --=20 You received this message because you are subscribed to the Google Groups "= Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/CAJb9em3kq9eF78ZaCy%3DJcD%3DzLMLaiwmi_TZ-L9Z5CqgOEXwOog%= 40mail.gmail.com.