From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 26678 invoked from network); 22 Nov 2022 17:19:23 -0000 Received: from mail-ej1-x63a.google.com (2a00:1450:4864:20::63a) by inbox.vuxu.org with ESMTPUTF8; 22 Nov 2022 17:19:23 -0000 Received: by mail-ej1-x63a.google.com with SMTP id ga41-20020a1709070c2900b007aef14e8fd7sf8689980ejc.21 for ; Tue, 22 Nov 2022 09:19:23 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1669137561; cv=pass; d=google.com; s=arc-20160816; b=mXO0qd05DrIJwCvtdvS9d1Ry02jgGV/eqh1EOYESe5is3OVW1UzXIueNphbY0VRLTD 7A48P4zJ0AAgB/U38po7bSBFejMUYAEaJCPrxqO7i6+xplYeApo71GbXxRqBpbXKK89H rbLp62O4pcwQquPKV3Eo+IGHvFqKdHmNmgfIqnLz/30muGfl8Rpfosk+kCyxW1eURN7s wUcgYQW/fTk+dLP9wUYElUKbKTa/tyi6flZHhFuyuzf/dfrYfjuz7vruFYzPIH1Xl0CE wAlPtVGB9GBCK4+hqf0XBno2Pu3fgQLA1umpG0U4Xm9rPcIoqBnG5dXTzzIV/FLrvdYV W2dA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe: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=OjWafuArd76FbVoWU9vDb9AirvcWzOCnP4WGXkxSeqI=; b=UdKXw/xV8gB1dV95iOdUifdYu44pYMroD8XsaCbpmfWo+dAcZsJdsvhjUIjTS0fNsw YxUYtZc7fPKEDG+oL9zfIRXnqDG0Xx0JqybzUSe90T4m4a0qXsYpBZC/D9WYPxHFxrY0 6JZNRJCvggSLprPs8dbIeVUKl1YpgIwVf1cd2sRHvnk53mZjl/KUjGQxBHidAk4fzKsb wSRpO0JW2arYzL+5rL7iPgzfW36XFWcQ3rOgA7CNTIuD8/3IU3qKGy2pLaRjWOMvdRWR V3XgYTMzr6XwfXSslOnzjxbTfBGn1kZOINUu+RQhom15ubMY6Qrud6oWEWX46LWmn3XC 5veg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=ILLh8Ulh; spf=pass (google.com: domain of chrisheunen@gmail.com designates 2a00:1450:4864:20::230 as permitted sender) smtp.mailfrom=chrisheunen@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=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:content-transfer-encoding:to:subject:message-id :date:from:mime-version:sender:from:to:cc:subject:date:message-id :reply-to; bh=OjWafuArd76FbVoWU9vDb9AirvcWzOCnP4WGXkxSeqI=; b=p4VgLCcfSqaYM/J/fiJHAcgvVMsoKncvuwTL14noSPbVLEMrTAhZPzlVIgxOhbdeMj 2tlcqp94xRMA8SoujtDdGH8HzA2gQ24nsJ2HbrngAytWV7IJYNoqADKypQ24/zAktwJO 0D7JXJMnLglX6eGY7x7RAoDF0fE2ha4B2algOuZlJ14evP5AjbojI/iC+/tThvyOEw86 jJyb1NDMePS4pCFjfMo5rQcXqoaWOcylWwWgjWgfJXz7n/rV+6W7Ufi8QWETBqE0YTYT 94RH8PwpGxTJJAspGOBfOQN1VFT9uF51Jzu+lKXXQucrbDCQ0P3mIJe1FaTgDTQ/4Hhy t6gg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:content-transfer-encoding:to:subject:message-id :date:from:mime-version:from:to:cc:subject:date:message-id:reply-to; bh=OjWafuArd76FbVoWU9vDb9AirvcWzOCnP4WGXkxSeqI=; b=YMlnv7fVzw6Rv0x3D1ujdZKTgVOgPtMNHhBcSInA88DmGMT6ynz/smigqjH2Feus28 P/flhCRljgLDMZ358X9ZNpZsUQWAlYSrh0by0yxkD/2EyLqQXnv5m8fdJgcnfwZDS4fA +vGzU+OyY7/YEQ+aUQrGcFEciLByi3VMvmofSkW3mLcfPX1gTj+/eYnGkTrbERonwc3H u7mvZJHz9AUf/VDHCar5sRmLwjhhsfj58zWRbY6mk+M1UKZA7k+YDfIuvUdw6NHGKs6L gNGgJUqx+kVbvxHlIus4Wzg/qwPFEl1tiu6ect8RCA2chUACpk8BYo3Lv1Jkc6HENnyk IGeQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender :content-transfer-encoding:to:subject:message-id:date:from :mime-version:x-gm-message-state:sender:from:to:cc:subject:date :message-id:reply-to; bh=OjWafuArd76FbVoWU9vDb9AirvcWzOCnP4WGXkxSeqI=; b=Y7OT1mz4uhdt7Clrm5yJdmxd2OsOwsWiwGLJ9I8/EwcnJ/Xo1ICu7R0NxOsEK7lxOD 9mNwVEsyz+t6eeysyLSKZIQ8HJSXQboFrFRwxo9lDiWsHWuueJGZdb/6j0UPloqW3+OC 6MXL8BanymLBP2FnKxcQ++XhDpqMhnGClngt5I8YFy/Zl0xd+0Hiljqckb8QgxL8pguq kCbDfEb4C8gGqFozP1ur+u4t1b6Mf7qrivbJ4nV65ZG9LjjfpfjYIeMxlAF85wPJbOwn RaKMCnz6JB88C9z0h7TSj7U74kCxNMllLR8bzGDcXC61DHb885QoLTpLU4wpVDS/SlGY La/g== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ANoB5pn7SbfoKrGo2B2QyAkLkPKEg6MsPlWgshtYjhyMuCobDauiWJt0 auIsbKhGW95cXbf6TTnU1lI= X-Google-Smtp-Source: AA0mqf5cu+1Bo5tUZlMAHRVmOxK7/1I0zlT+YP9FRXGC5cYhH0G1X8OsxC09fcocJxOpvImh7lfFqg== X-Received: by 2002:a05:6402:4020:b0:461:9d22:348d with SMTP id d32-20020a056402402000b004619d22348dmr21717019eda.76.1669137561520; Tue, 22 Nov 2022 09:19:21 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6402:268f:b0:461:bb4b:90b1 with SMTP id w15-20020a056402268f00b00461bb4b90b1ls83132edd.1.-pod-prod-gmail; Tue, 22 Nov 2022 09:19:19 -0800 (PST) X-Received: by 2002:a05:6402:14ce:b0:469:9395:beef with SMTP id f14-20020a05640214ce00b004699395beefmr10055452edx.316.1669137559448; Tue, 22 Nov 2022 09:19:19 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1669137559; cv=none; d=google.com; s=arc-20160816; b=f8bCKk+wEia5CC1AHKghv7LUzaH1b8Unpz6YuV2LysNJ0LfWAOXQ1ets8SE/Lrngvi 2NAme4BdTHh5TRhFSQSaH/0MUxKU88iU7FKlLVguXer7/TsWb8VdH6dLgeVp8pwP6HAB ox9e0uChgZz5GBRTLH/72PGcjsaGhK13Sa8WMtc0w88jHMmAXqtPQ612G8obMUDT38Ka 6iLjWzBYpXuZUlH5M6EKRD6abA3cbfVMXmxQijAe9W0OkzNBzNpYSxj+biDgiHa3ocfF bT8iVuFInC8ofwZALlam1n9+cWW4juYOlLOdMHB8Q7nMzN4mP47BMXl4IRbS4TC2NVyu XzQQ== 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=0Sn6n8U9lPOmhYAg7pkTqxcJqB8JUUOwl/N8+0OUkY8=; b=KwM2QBvTatfRCM79g9Or4v0M/ay179wBl2PKctpiTk50hvWtnU+KZRJqpAefTitksU 40Z16uIaQQn7GIci/BA8C87ZZ6gkMKKRwKdnNDU/seUr1q+TRkaHg00idMVtfSuJZ/EF Qur773aRB1G3HROk4EGDR7NUEO9LxGilH2wOceHe7/ZF/4/ppFFKQAm1eTdDsoEI1aA6 SX+SmmpeK51ZUELFDTkSCstqCC+Yheb2ryHT7hQ1whAymZMZhpJytd63dX6cpsoqmDbD L9Xa6Xd/svapmJoJnZtoWziwW1kfQ4vIBe/WZp29bLw4ibRXfPAAFcTh98HrdLoYzsot ItdQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=ILLh8Ulh; spf=pass (google.com: domain of chrisheunen@gmail.com designates 2a00:1450:4864:20::230 as permitted sender) smtp.mailfrom=chrisheunen@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-lj1-x230.google.com (mail-lj1-x230.google.com. [2a00:1450:4864:20::230]) by gmr-mx.google.com with ESMTPS id c1-20020aa7c741000000b0045a1a4ee8d3si563001eds.0.2022.11.22.09.19.19 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 22 Nov 2022 09:19:19 -0800 (PST) Received-SPF: pass (google.com: domain of chrisheunen@gmail.com designates 2a00:1450:4864:20::230 as permitted sender) client-ip=2a00:1450:4864:20::230; Received: by mail-lj1-x230.google.com with SMTP id h12so18678811ljg.9 for ; Tue, 22 Nov 2022 09:19:19 -0800 (PST) X-Received: by 2002:a2e:b606:0:b0:277:9c2:7c3e with SMTP id r6-20020a2eb606000000b0027709c27c3emr7215541ljn.99.1669137558912; Tue, 22 Nov 2022 09:19:18 -0800 (PST) MIME-Version: 1.0 From: Chris Heunen Date: Tue, 22 Nov 2022 17:19:06 +0000 Message-ID: Subject: [HoTT] SYCO 10: Call for Participation To: homotopytypetheory@googlegroups.com Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Original-Sender: chrisheunen@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=ILLh8Ulh; spf=pass (google.com: domain of chrisheunen@gmail.com designates 2a00:1450:4864:20::230 as permitted sender) smtp.mailfrom=chrisheunen@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: , List-Unsubscribe: , -------------------------------------------------------- CALL FOR PARTICIPATION TENTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 10) In person at the University of Edinburgh, UK 19-20 December 2022 Registration deadline: 11 December 2022 (AoE) It is possible to attend online, but not to present online. Please register even when attending online. https://www.cl.cam.ac.uk/events/syco/10 -------------------------------------------------------- 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, University of Leicester, Tallinn University of Technology, and University of Insubria. The programme consists of 2 invited talks and 18 contributed talks. -------------------------------------------------------- INVITED TALKS * John Baez (University of California Riverside) * Emily Roff (University of Edinburgh) -------------------------------------------------------- CONTRIBUTED TALKS Full schedule available at https://www.cl.cam.ac.uk/events/syco/10 * Cl=C3=A9mence Chanavat: Cubical Type Theory Inside a Presheaf Topos * Jade Edenstar Master, Benjamin Merlin Bumpus, Zoltan A. Kocsis: Structured Decompositions: Structural and Algorithmic Compositionality * Jade Edenstar Master: How to Compose Shortest Paths * Makoto Hamana: Complete Algebraic Semantics for Second-Order Rewriting Systems based on Abstract Syntax with Variable Binding * Peter Hines: On coherence for Stoic conjunction * Satoshi Kura: On the Relationship Between Weakest Precondition Transformers and CPS Transformations * Louis Lemonnier, Vladimir Zamdzhiev, Titouan Carette: Central Submonads and Notions of Computation * Leo Lobski: Quantum quirks, classical contexts: Towards a Bohrification of effect algebras * Edward Morehouse: Locally Cubical Gray-Categories * Giti Omidvar, Lutz Strassburger: The Composition of Combinatorial Flows * Alex Rice, Jamie Vicary, Eric Finster: A Type Theory for Strictly Associative Infinity Categories * Richard Statman: Cayley Monoids * Calin Tataru: A layout algorithm for higher-dimensional string diagrams * Ana Luiza Tenorio, Hugo Luiz Mariano, Peter Arndt: Non-topos sheaf on non-unital monoidal categories * Jamie Vicary: Exact dynamics in dual-unitary quantum circuits with projective measurements * Vincent Wang: Foam, data structures, and games * Carlos Zapata-Carratala: What is n-ary associativity? A Proposal of Higher-Arity Categories -------------------------------------------------------- REGISTRATION Registration is open until the 11th of December, 2022. You can register for either the in person meeting or for the online event. Registration is free. Please register via: https://forms.gle/RQeSe2zcndXghwhM6 More details are available on the conference website: https://www.cl.cam.ac.uk/events/syco/10 -------------------------------------------------------- PROGRAMME COMMITTEE Robin Cockett, University of Calgary Carmen Constantin, University of Edinburgh Ross Duncan, University of Strathclyde Chris Heunen, University of Edinburgh Robin Kaarsgaard, University of Edinburgh (chair) Marie Kerjean, Universit=C3=A9 Paris 13 Aleks Kissinger, University of Oxford Dan Marsden, University of Nottingham Jade Master, University of Strathclyde Samuel Mimram, =C3=89cole Polytechnique Jean-Simon Pacaud Lemay, Kyoto University Simona Paoli, University of Aberdeen Mathys Rennela, INRIA Paris Mehrnoosh Sadrzadeh, University College London Pawel Sobocinski, Tallinn University of Technology Tarmo Uustalu, Reykjavik University Niccol=C3=B2 Veltri, Tallinn University of Technology Jamie Vicary, University of Cambridge Maaike Zwart, IT University of Copenhagen -------------------------------------------------------------- STEERING COMMITTEE Ross Duncan, University of Strathclyde Chris Heunen, University of Edinburgh Dominic Horsman, University of Grenoble Aleks Kissinger, University of Oxford Samuel Mimram, =C3=89cole Polytechnique Simona Paoli, University of Aberdeen Mehrnoosh Sadrzadeh, University College London Pawel Sobocinski, Tallinn University of Technology Jamie Vicary, University of Cambridge --=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/CANPvKnwpPacrkmZg9y%3DYeaiRYUeCeKMV%3DLRhJxi62Ekrg2RucA%= 40mail.gmail.com.