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, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 12217 invoked from network); 31 Aug 2022 17:12:01 -0000 Received: from mail-ot1-x339.google.com (2607:f8b0:4864:20::339) by inbox.vuxu.org with ESMTPUTF8; 31 Aug 2022 17:12:01 -0000 Received: by mail-ot1-x339.google.com with SMTP id r28-20020a056830237c00b006392b014be9sf7780222oth.0 for ; Wed, 31 Aug 2022 10:12:01 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1661965919; cv=pass; d=google.com; s=arc-20160816; b=LJLuVZKBuHW0A4tgj41rO63PdjsZxHlfPfxvIzoTuNEbpfjYNReVqE176BFfBpe72l 0D6yBsXWpASq4xet/H2Un8UDvlzKkrslREVCsm2MrGcUIEpvKKp1r3rrbQVWAp400FZ6 D4dDptKukccFtGN8kYSRqN0U1X9xiyBkThQWOPOGg1MdwTRCHMKSoQl1Vutlt9rE9RMO IkkJktmfKv+GjJtvI+yq/NLPN+DC7T3IMAbUA47nbVLmAiFI6VWx+rzCBzIMk3G1STcK vEfmmf6cxculFGVGnS5J3gPJ652RnX28Eu0BzDHLp9zPvZbPV/y21bFt3r9uM8LJvtiq pMtw== 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=dYU08/4cSsmuRytSsaJFWz9tkj9/bSVjsyVIomtGNks=; b=EEyBX+7CcTQzxIyZoIA4FiZ118FlmGtZ+xTeBARMTDBVTB8ShXY21KDIHk0DqPX+BQ 8u92sDxDXU2Yh/BrtvpyIoxd34YGYr/WhawjFRxtvLldeHIly+5GSdbm4LvCAn6eUbfP Jch98AtZmNkVqhRlYd1MktdoDpp6YB2pasmpUcZvBE/ZpFt8UmJGcVzeHG4i5GqVHBuw c/AD4IvidDlcJDQqPqHWDRc6c3qt236TbB32S8YCeXX3p6b2qfSVm4pOIYxIkRSDwDyZ nfyB/tjfkfxFKGGlW/ItLzq5IRi7dh3JIDxC3CbBEm3CgbzafU2yRafIuyxjtMCrHqQ7 T9ug== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b="VN/gHQBm"; spf=pass (google.com: domain of elenatalita@gmail.com designates 2607:f8b0:4864:20::331 as permitted sender) smtp.mailfrom=elenatalita@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; bh=dYU08/4cSsmuRytSsaJFWz9tkj9/bSVjsyVIomtGNks=; b=fgi2P5TgUjlDpLFWTSfzzQuNvy3/qpZtYCsHpGdJvc/K+GD0g2fkJR9q9L+TZRPr// 0FzC2mM/ayoDnqAqMvab9qV0bhoI6dloP+lq0FPZ/jeN3WrPNsgAZGQ68Or/W83NHxfL 7xF6xo2hMqmVLg8DuDEZRAHu5acHDcm6ALSHvv4OK/l3Q2/5Z1UieYK9ghGxLn5WLiIQ Rmd9ObmoYe+CQNo4Gh698V+dayCLT1gRwNLYav/tp6jb4SCo3CR0+8x3RpTzxckjljqD JS+/K7Pf+Q6KTjFewHbITsQTPOv2G5D7RpU/VWXDj8OBiYV4oejGAunE/lYqwYpeb744 /6Mg== 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; bh=dYU08/4cSsmuRytSsaJFWz9tkj9/bSVjsyVIomtGNks=; b=CimQLafH3zEOhQ9vAFwJMNG8t7Kat8yE/cQ1A+e6dMnEWrj7i7hAJw/Py3toDArsY5 g9CDHchYcSxtC8Ox9T0NLj+lGiSZitzu3wrxCZXMn7hCXaFOI/AkO4tAvDp3E+j8bxyM gj+HVTyE3n0o+LaqQ4M1U74SuK9ZxjkwP5qcxwhTxnGZ74zdHXDGxjJkK7Du7zFG9W3+ m9HqAhTHltBIFCjwZXgFWqTnjfvl+QKG6FliAdxcko0RvCtd5uGXrdMKVZm0koTfiQiV FZy8/FayboY7IUXENgj23GS4DXNEOKPOssFwtXF13WzcVKEtP/4BI+qVszOg+a8rlIYv 00hg== 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 :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; bh=dYU08/4cSsmuRytSsaJFWz9tkj9/bSVjsyVIomtGNks=; b=Y1upp1NfLdrT29FbmY+1TIwUA6V7sSgJGNZyYZ4n7xcSrDR1yQ9GaLE3BC4os9YHi7 Almxij872PxNPp3yniB+iG5+a4kZax01Z2sSeygUjoi+JcKf42SzHmxdIOFL3q6Pz/Ou koX1VKkqg5TTnQWLRngxXmVhq8Os6xdLgd0lZAZeheqFPeI5YX05uUjsj3G11QTy7pWO Gh62o/kzpyTuXPipble1x8o6PJmGkv9Jmh7wy84fssu68nTfsI/kFGtaiZEWytssMF4E wuWJAK1jkP23H61qVArfkL8tElJiXaWcuGPFLlYERLG66T0w0mtETw2DYq3MZag92KYC YgDg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ACgBeo2Z/pnX4bedc19pESdMdEQucVeO6hbm504CDMnvqJgjozklpPkh Q9GuCV3VTGAyvAyJ2nJzO1M= X-Google-Smtp-Source: AA6agR7XHlzTTCXfQ1/P/buBJ0RRbb75kUyNc5Bez8yiihvFqP3KZA7rc0cOriBC2nk6CGLpvs0MoA== X-Received: by 2002:a05:6870:830c:b0:122:339c:9bcb with SMTP id p12-20020a056870830c00b00122339c9bcbmr1502850oae.224.1661965919491; Wed, 31 Aug 2022 10:11:59 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6870:b7b4:b0:11e:7a1d:b272 with SMTP id ed52-20020a056870b7b400b0011e7a1db272ls527544oab.7.-pod-prod-gmail; Wed, 31 Aug 2022 10:11:58 -0700 (PDT) X-Received: by 2002:a05:6871:693:b0:11e:70e0:7d39 with SMTP id l19-20020a056871069300b0011e70e07d39mr1941510oao.93.1661965918439; Wed, 31 Aug 2022 10:11:58 -0700 (PDT) Received: by 2002:aca:3041:0:b0:344:8644:237b with SMTP id 5614622812f47-347bf2cac94msb6e; Wed, 31 Aug 2022 09:40:36 -0700 (PDT) X-Received: by 2002:a17:903:248:b0:172:7520:db07 with SMTP id j8-20020a170903024800b001727520db07mr26368828plh.76.1661964035583; Wed, 31 Aug 2022 09:40:35 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1661964035; cv=none; d=google.com; s=arc-20160816; b=HxOtrYUlwdLDtxgoyhu9j6qfrO5G1EA6gja7cA6e9LlFq/Pr/kITrzX7B65swDVcd7 cwCeGo3UjaHR6WgYZPrwTHCji6exQ8DAeTD3AggQU0nZE4iOaARL4RSODD9V5kgOvwWN AgWs5l0uEbYtRRymFErO0g51So4ZceQJnYQcK9xfJZrqKVHk5SmqKZQBd76ed1gxlTTK ksKAvq7+tBch7BXwuxvX7mx2NePyc6dlXtBvPiZPbMoChkHNd/6DNG6WsypE0E8cb6yR ussqhyOA03ldBs8djhT69lGTu4bWWvln8SL2FgrVxf39LlP21nD3e71j73iDZt2AFH1R TX0w== 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=PlzPNKRAY/x/hl2/WLV1WplAi9WOstWNefWVt945BvA=; b=tq/oqx3VxWNlygrsHKLtnZ4w5PTl7MIsyZ4J0IEIHHMnu2sembo5uI1b3UX24ocRu7 tgYGH7wLAjwNFIrU1c6TORLX4hXEg2Ls3K4VVnscKFvKD6iG2LcBTTUbMgQMkKVlhAYY Zy6KTkscHtJ2QOoQxzX5sA+0/SiqASMU0AcSoSkn/qux62Rr8HlAWmtCqfszU5KE4xHR HYeU7v8FsBcsZZBJZF81BqKQ2guZHEcZELr796c3YbPu9K+Kg09lp6lF07/KJ3+FWtgK T+hQn02WGHtrqyqGX18D9XveSnobcvhQW/E7BWWG9mdeZavpqi+0KlOCTWxrnMj1ZZEX ceJw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b="VN/gHQBm"; spf=pass (google.com: domain of elenatalita@gmail.com designates 2607:f8b0:4864:20::331 as permitted sender) smtp.mailfrom=elenatalita@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-ot1-x331.google.com (mail-ot1-x331.google.com. [2607:f8b0:4864:20::331]) by gmr-mx.google.com with ESMTPS id b2-20020a170902d50200b00174acacf763si32924plg.13.2022.08.31.09.40.35 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 31 Aug 2022 09:40:35 -0700 (PDT) Received-SPF: pass (google.com: domain of elenatalita@gmail.com designates 2607:f8b0:4864:20::331 as permitted sender) client-ip=2607:f8b0:4864:20::331; Received: by mail-ot1-x331.google.com with SMTP id t8-20020a9d5908000000b0063b41908168so2566936oth.8 for ; Wed, 31 Aug 2022 09:40:35 -0700 (PDT) X-Received: by 2002:a9d:4a94:0:b0:638:80a2:89b4 with SMTP id i20-20020a9d4a94000000b0063880a289b4mr10725609otf.305.1661964034934; Wed, 31 Aug 2022 09:40:34 -0700 (PDT) MIME-Version: 1.0 From: Elena Di Lavore Date: Wed, 31 Aug 2022 19:40:23 +0300 Message-ID: Subject: [HoTT] SYCO 9 - Last call for participation To: "homotopytypetheory@googlegroups.com" Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Original-Sender: elenatalita@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b="VN/gHQBm"; spf=pass (google.com: domain of elenatalita@gmail.com designates 2607:f8b0:4864:20::331 as permitted sender) smtp.mailfrom=elenatalita@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 NINTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 9) In person at University of Insubria, Como, Italy 8-9 September 2022 Registration deadline: 1 September 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/9/ -------------------------------------------------------- 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 and Tallinn University of Technology. The programme consists of 2 invited talks and 14 contributed talks. -------------------------------------------------------- INVITED TALKS * Robert Furber (University of Edinburgh) - TBA * Olivia Caramello (University of Insubria) - Relative toposes as a generalization of locales -------------------------------------------------------- CONTRIBUTED TALKS Full schedule available at https://www.cl.cam.ac.uk/events/syco/9/ * Jakob von Raumer - String Diagrams for Strings and Rings * Matthew Earnshaw and Pawe=C5=82 Soboci=C5=84ski - Regular Monoidal Languages * Paolo Perrone - Lifting weights: enriched lenses between transport plans * Simona Paoli - Weak Globularity: a New Paradigm to Weaken Higher Categorical Structure= s * Malin Altenm=C3=BCller and Ross Duncan - A Category of Plane Graphs * Sebastian Stengele, Tobias Reinhart, Tom=C3=A1=C5=A1 Gonda and Gemma De L= as Cuevas - A Framework for Universality Across Disciplines * Morgan Rogers - Continuous monoid homomorphisms and geometric morphisms * Calin Tataru - Cubicalisation: an algorithm for generating cubical meshes from homotopy.io diagrams * Niels Voorneveld - Cylinder Diagrams: Visualizing Multi-Parameter Natural Transformations * Mattia G. Bergomi and Pietro Vertechi - Neural network layers as parametric spans * Lia Yeh - Conversation Logic: The Interplay of Negation, Conjunction, Disjunction, and Lexical Entailment * Dylan Braithwaite and Jules Hedges - Dependent Bayesian Lenses: Categories of Bidirectional Markov Kernels with Canonical Bayesian Inversion -------------------------------------------------------- REGISTRATION Registration is open until the 1st of September, 2022. You can register for either the in person meeting or for the online event. Please register via: https://forms.gle/NURaeCEVsfpfZTJp9 Registration is free. More details are available on the conference website: https://www.cl.cam.ac.uk/events/syco/9/ -------------------------------------------------------- COVID-19 SITUATION IN ITALY It is mandatory to wear FFP2 masks on all public transport in Italy. It is strongly recommended to wear them in all public places, including the university. At the moment, there are no restrictions for entering Italy. More information at https://www.viaggiaresicuri.it/approfondimenti-insights/saluteinviaggio (only in Italian). -------------------------------------------------------- PROGRAMME COMMITTEE Robin Cockett, University of Calgary Elena Di Lavore, Tallinn University of Technology Ross Duncan, University of Strathclyde Robert Furber, University of Edinburgh Amar Hadzihasanovic, Tallinn University of Technology Chris Heunen, University of Edinburgh Alex Kissinger, University of Oxford Martha Lewis, University of Bristol Jade Master, University of Strathclyde Konstantinos Meichanetzidis, Quantinuum 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 John van de Wetering, Radboud University (chair) -------------------------------------------------------------- STEERING COMMITTEE Ross Duncan, University of Strathclyde Chris Heunen, University of Edinburgh Dominic Horsman, University of Grenoble Aleks Kissinger, University of Oxford Samuel Mimram, Ecole 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/CAEiDNXWVhJ_Sa4m406J7YjG3qWQHCYR8ZtitfyqSLc2Z9EQ7%3Dg%40= mail.gmail.com.