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.9 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-x238.google.com (mail-oi1-x238.google.com [IPv6:2607:f8b0:4864:20::238]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 290724bd for ; Fri, 10 Jan 2020 13:48:15 +0000 (UTC) Received: by mail-oi1-x238.google.com with SMTP id q204sf975099oic.12 for ; Fri, 10 Jan 2020 05:48:14 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1578664093; cv=pass; d=google.com; s=arc-20160816; b=bIUZBeKJNYQo47DBtfiSWCt2yZ7v88jHqJnswC6ClOiqvT92MyIQRNag00qCfWnYGo SDlPKRs2yjMy83bLD0ABrSrDt9ar7tHUomJcxwZjL2zlnWaaQkHfosvrL8V+sJZbklM3 KBVCGl0q2F/Y2nLhyo3R576LeamVMz2L/O1MmvN8gh+bLjd1YGFgNzp9TYiLt+p6Pjq9 kEdi93ZPmDWRqJtD6q7VuG12kO0+LG7MnsAlEhZILd3Z/NYnGfW9bzfJ32Ash5zHoJ1A x2mwMlvKZkJZu+xAl1zF7/35apVgxFOUiTTD3f4krAIn5iRzAF1YRtrM9wkAHt5HMIjR r2ng== 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=19eGY4nXinUYx3O5FCWl2zOwXDWlqoNXI6jWTv2CLiQ=; b=Zxu/hlqNqC247ueWOpXvw477vAMCochuqEg1m4TwsjyHJjIpTuawlRX+qQCSLkNehd qj1JKuhtzVro+rU6QSZjxgKJvkinr4xQsC93eJ2VeohmAWIMIUpcigJ3fkoVApOpRfx0 uO+8IWufqjYUHujBOgBNAu+Bt64UOXrglsHig1CbPIUcwiz2e8xlQr+6C0hnSph0WvwZ tvgPxUAkAHE/iyKJcgrMLtnwGdk3DbI/nPCh/omQZs5pchWygTQ/E7KvNWznwb/s2U3n eXmHc684FItPasI4OFekuHQhFH7G3LKA7XIHQGIO+r63Ci7StnkpKg/vmtquTp+QzXLC xELQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=pC9XuaHC; spf=pass (google.com: domain of errenz@gmail.com designates 2607:f8b0:4864:20::b2e 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=19eGY4nXinUYx3O5FCWl2zOwXDWlqoNXI6jWTv2CLiQ=; b=e8YW9roVhhdUJurpSU2TNnpGjlIOisYEotPfG8sp9hOtvr7e6E/8FxqFFjkBb2VXYA XaJIdhIaK8D414dqgNHZASBSraQfjitGNnDlDkxCFzIGa5TdeUFUOAPuvlNizKH1yN64 xOLDL/lTT0L4aCF7Kbr8qKQOOSeY1FeXgsMYOaugkzXgwqOcYEDK0lbTaxjbDrX574l2 fDMGqlOcIPyVRKgzogYcpYAa4Gc72+sm9+Jr/kCGW5ByYkEyLLkfts9EJWf2jPjO51RU awHRCfvdg7u4RexJ8T+CDhTJRyYDdWXBT2Mt1mBY+7WqqzBNmDORY7qqqxKxmc93zEG+ LVfA== 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=19eGY4nXinUYx3O5FCWl2zOwXDWlqoNXI6jWTv2CLiQ=; b=Ej6SuWLZMpTsjypnDiVSJG1Wis3U7KbYmZvQtduxwctLVb6RBwmTN2o0pECsyXMtsD BsOAatQdcCcnvaaO7mf1W7J4fwuw2UoKcc8aOhw/zwDX22UKdv3cKZTq+AvyX3wmGRj3 G5dLweNxa3gwjbDldrLxACPLtmxM+W7OQ08a+V7qPnJPuz2fSN4Ya9Y3Av0qMRfpJJJ1 2VSGldnuVsNRvDbfN0hOP1hopvq19ADrvrH/SKhyWcaeBIW16nQ9S0f/s9ClXfzDdlNi Z9IsuoJT3sjR7JM9Wikl1IwCF/HRAGvz089S0zGCZa9NWn8QVDRWaaiAGTIn390ZQ0Q+ wlxw== 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=19eGY4nXinUYx3O5FCWl2zOwXDWlqoNXI6jWTv2CLiQ=; b=rkXgTwyLjvPjLZvCPvgDo0jA+nsVSf4Zf4TVMsUlZ9b8+gJ8hwFl9AgYHSKwA3PBrQ GuRQQVCmZ9b8msy1IIk2Uw3zaYHPttVHpYqtuJYmFXl1M2siJcZIOR7nsFbDoZVKVnxg cu78oOgcRwFlAvPGJwk9fmVMNNLTZxzvsrw0d9CzBd3AGbpgPSVZg0FMgf+CjkQABcZe VUinynI8Vm29y1bPbr386nNJU7/0QIlm8rUqwsuIRtMdd80+vHB9JOw061DrftN0HPfS iapyBa04K3zOPPyV6Wj6hvumZgpHzSAH/vHLfUZZE0h5IiOn8BVX4f5moiPOuVlw2zmp 3WhQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAVUrxCIcWoDvPtUnpWapGNAAJ4x4hZHTJL+OTbpv4+CdSsLLSan dsO+YGtW0hS/HjV0OUHYDqs= X-Google-Smtp-Source: APXvYqw2jrWGh/o07VGVHCwsnkNU0f8Ct1tPhVtFF2IoIjBMLw1B45Zb8V4kjT1QLyOqKXF82ghA/w== X-Received: by 2002:a05:6830:2361:: with SMTP id r1mr2557843oth.88.1578664092788; Fri, 10 Jan 2020 05:48:12 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aca:d549:: with SMTP id m70ls1000734oig.10.gmail; Fri, 10 Jan 2020 05:48:12 -0800 (PST) X-Received: by 2002:aca:3cd7:: with SMTP id j206mr2344353oia.142.1578664092374; Fri, 10 Jan 2020 05:48:12 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1578664092; cv=none; d=google.com; s=arc-20160816; b=Pt4ic3QDo/Mx837pSQ+11qRNN6y0R45dQhNCCbJravIV9M83DjF6dCymM80jKufjl9 JA3BWczFxKptpj8pir1D//EpmTYb3hiSafWmOlmY1qtj9A83A6jUdjaJ16sAiPVP40j8 DE0v46xBKPThrbN5SJBzkJpBCkizFn3xOniy6Ro4AH6DOsgDYfSy65O1mRR+3nhFy2YA f6FdqD7jYAVgtes9O7NMw1Hz1ItBbIbxCn3mwPYOLHft6h7KAqf70aAMjCgjrNCMpHxO unfRPez4KF83oh/jhFXqY1XpxFdbs+JXViELdcOET1LeD0m9dMIvE1bBPyi2f/u3B/Iy 0sNA== 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=vWuSxa2qjTEYiBYFc2tlM2Js8ckffrSHLRPFFORJh6I=; b=HteMvTyx2pJwbVUMBNtvIHmndUCfqUbRf7MZXmyc/7eDXKtWXpXBQUFgb+6xQ6sjv5 0wqSZjxMb4yFwajlFocCS2ZVYTiI3wrb4gg+gsnFCl8UDw/G11Jt3077EvY4E4HECsW7 8oQqk9eO4eccgjFOV4lhkDODkGN5Zgxio6zn76PcEFtSOKyv245qc1y5cjv4ewgBrUER +v12SFp/zzGJHcA0jbIFRYIbsq+RGRW8aDjuz4nSpOjLGwRhV0PhizeHOl6bx/Yw7iS/ iIC2Hx7ur5ZZZmlSkIaCgVKblKNj8UuGIU3s1+Y2PRxrQcFE/U4ZNKxXI2OZjaVD8cVy h/KQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=pC9XuaHC; spf=pass (google.com: domain of errenz@gmail.com designates 2607:f8b0:4864:20::b2e as permitted sender) smtp.mailfrom=errenz@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-yb1-xb2e.google.com (mail-yb1-xb2e.google.com. [2607:f8b0:4864:20::b2e]) by gmr-mx.google.com with ESMTPS id d16si94873oij.1.2020.01.10.05.48.12 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 10 Jan 2020 05:48:12 -0800 (PST) Received-SPF: pass (google.com: domain of errenz@gmail.com designates 2607:f8b0:4864:20::b2e as permitted sender) client-ip=2607:f8b0:4864:20::b2e; Received: by mail-yb1-xb2e.google.com with SMTP id o199so693217ybc.4 for ; Fri, 10 Jan 2020 05:48:12 -0800 (PST) X-Received: by 2002:a25:d083:: with SMTP id h125mr2434264ybg.158.1578664091741; Fri, 10 Jan 2020 05:48:11 -0800 (PST) MIME-Version: 1.0 From: Amar Hadzihasanovic Date: Fri, 10 Jan 2020 14:48:02 +0100 Message-ID: Subject: [HoTT] SYCO 7 - 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=pC9XuaHC; spf=pass (google.com: domain of errenz@gmail.com designates 2607:f8b0:4864:20::b2e 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 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. 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 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 Martha Lewis, ILLC, University of Amsterdam Samuel Mimram, =C3=89cole Polytechnique Koko Muroya, RIMS, Kyoto University Jovana Obradovi=C4=87, Charles University in Prague 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/CAJb9em10pvtuk%2BnmjSQcX3G-TiPYSLXhuDCs6%3DWHm8A7zkHY9A%= 40mail.gmail.com.