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 28109 invoked from network); 17 Aug 2022 13:40:47 -0000 Received: from mail-oi1-x23e.google.com (2607:f8b0:4864:20::23e) by inbox.vuxu.org with ESMTPUTF8; 17 Aug 2022 13:40:47 -0000 Received: by mail-oi1-x23e.google.com with SMTP id v4-20020acade04000000b00342908f1a10sf3889617oig.14 for ; Wed, 17 Aug 2022 06:40:47 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1660743646; cv=pass; d=google.com; s=arc-20160816; b=AtDfudPc1ENqEeiGPG7evHvYJRryf8BStcwoppd5psrP3ReCu4T8LMIoPxjUQ5094W THr2mKedXuqO3r9Y4HUmOQS/CfWQazA7e6g55WLTk30Eo5cAmqy/c5EfQJEA0I4isPTz wti6ZgMlPq70F3k2nhifJfCAH5Rb0fI/ghdk9JVf2z1+UZhgiIglI6cljx7aUESyFwBN DIakhvWtZsFtbT4xekA6F2dOpEe7U7HSeXQY+FlWY7yT9LDXAdWjv0aRsjh+haUnRI+X 6mH3rAE6r6GXU7+cgE9TEaKu+1oiqt38bM9YWH8B28rf/ZM8oj/J910j7g2WbQyEvmBV yWUA== 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=stkr0Bse/GtEv5MsBRladiBBa8RdKcWyKY85U1KTUQI=; b=zEvAhv3DJOemzOCoBN5aNaItua4XIf2wEhlncOIk652vai9Kn7d5sNiM60flCGY2kj HXAR8StUTDsbySj4qcPWgFB2jPXtgLLbbsApCd8fw89mB3TWUPNlceP1sudwohnCcKUB GaKm5gc/TN+OARKbSlPnQYXqnKDsqxX6vEm+m5FuCd7g1hD/iONjMMUP5BPRQjWYrqOH SV9WbqPnfANtv4ayAfLLum1WTnzvZBZtijUuDXTZNc9YYp2uNgr4SQPQl9fJunCileD7 Ev69QNdcZ8GcfxNMt7oc9/o5X44jY1IHjvWeKcnIn5qHZ/WiWS1J3naJycjPy6o6Obi5 1WIg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=q5fbwzGo; spf=pass (google.com: domain of elenatalita@gmail.com designates 2607:f8b0:4864:20::22e 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=stkr0Bse/GtEv5MsBRladiBBa8RdKcWyKY85U1KTUQI=; b=kPradmUXaAK2k01MsS/QAvftLeWm1h+HWwFEFhL/JWhCEWh8Fac8Fg9mFHZVfZPxqK XCLlV+cIviQipXdlx8Rst2oiPxFoaPO3wdEJ3LTzAC3MHxak3PRPgMx7HdMCAefRStZA D/UbIyrQD9Du19YSDPVYVyeU8qPWINFMRUMmCIAFqn2DElecosgaBACbXZX0z0PomkiX gnbfdj5qYvMUQYck6nK4QpV+rO/lJuduf/+pNT4l4KZz1I8sKhhJkFMtzeYjA3054le4 Hz+vEvNmuwzGSfmEPrh4C3Ynw1NIqWujax8Z2xzMt2d/2IAGaHaz7qR7Fr8Qiqozt/6B Yb1g== 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=stkr0Bse/GtEv5MsBRladiBBa8RdKcWyKY85U1KTUQI=; b=B0Or8aC+UI4+IXcua00ZlzDXBklBo4KjmGtg7Vwo4bVBDcSiiLGmngLdxLHFWINiAn OptecNgcOoeIhepSFeLRYj2zgtNQ+sEw/iNEdW6R/uPHRCkwQSl4TCkrlEYlzq09PjFu UY99tV3cCRVRK2Df7L/ZDGf2UmPfNwuFxRSFMlm52l45VZsdOeCty2KiPHm2+WP7l9eT jDOYj9oyjJkRDvN3sISLBJINunyrI64rOA5+jj1Hi7iKjVXEXaU6M++6zVWIoSaePCCI upAKeQ+00BapdNGfLSAVT+dvBTIT8BlApjEh50Bj1nmXtJ83SQ+q6Q3juanZ4cTmh1lH b1WA== 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=stkr0Bse/GtEv5MsBRladiBBa8RdKcWyKY85U1KTUQI=; b=N/iIMGIl8ctXK63fIY0BKiUWU6YdDHEg2X66fowE8ER9HVkjTd5yDUa7KYQauh1w6M BQkEcM0Zze7Nh0qmJMJT5kRkjieaU77syIms75yEsIK8MTLdo78FI+4ZlVJxEnyKKDWK jIbtUgJMjbYlNiRUxrj1K2vdGqWo9m2ZztLtR4LhM1mhwE2MZkn2tJblbECRhedgjOJD 0BTsYVLTpajULtBxvC/1w6LIqUBv944KNRG1yTR7PA/jiPjhsZnC1+nzwFqumTp8Lh6j oWc32e8peiOyl3AV5jk2I6mtDOAWkAqDZvUMvKazdTXxNZ1N1WeJ4hgQIwPRC5cbwqNM tr5Q== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ACgBeo0MUhg4/vIaSD2um/wEUddYmSlVXqCWfl5anT2KTq9/OmkWLOqM 2XPICMl8UblssgHHSiC34Pg= X-Google-Smtp-Source: AA6agR7pTErpNSyWFsdfw3KtiRHiLKAHsaWXw59mzLdl3CzsnklU89SWxu3GDNqAxVJnR2M5W9zfFw== X-Received: by 2002:a05:6871:549:b0:116:da6b:c074 with SMTP id t9-20020a056871054900b00116da6bc074mr1720100oal.143.1660743645869; Wed, 17 Aug 2022 06:40:45 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:4a97:0:b0:61c:aea2:b051 with SMTP id i23-20020a9d4a97000000b0061caea2b051ls2441415otf.6.-pod-prod-gmail; Wed, 17 Aug 2022 06:40:44 -0700 (PDT) X-Received: by 2002:a9d:f05:0:b0:637:1068:1081 with SMTP id 5-20020a9d0f05000000b0063710681081mr8899633ott.224.1660743644757; Wed, 17 Aug 2022 06:40:44 -0700 (PDT) Received: by 2002:aca:3e0b:0:b0:33a:6d3:3801 with SMTP id 5614622812f47-344fa2b0bc2msb6e; Wed, 17 Aug 2022 05:48:35 -0700 (PDT) X-Received: by 2002:a17:90b:38cd:b0:1fa:5566:9214 with SMTP id nn13-20020a17090b38cd00b001fa55669214mr3564260pjb.35.1660740515252; Wed, 17 Aug 2022 05:48:35 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1660740515; cv=none; d=google.com; s=arc-20160816; b=rw9wQQG0vij4k/ZfbyAVceVsmZvvCFPId1QomyF1goCmescxXnfGwKJE669hukp2MZ mp7qPr5MA8Joc+RBuqU5S603LETuJfIN6O0OkTi8zkhneYF8DTiMpm0pVj9uHn4vBAty Bs3YG2sKcoABfOorX+s7BWPUAeWPPA0uWtVFOPfNv8VVq95dYnZ+YP63cWKq2b1Z40/G ovasY/5/YV5Bv/4M7wFRn9XK5N2hvflmlRe6pKxCF4tBhYXqXx02FAZWoxnWrZEKV0R2 FxUY+KAhjjYimpe3kKLr8OtgfQsX+wY+Oz96zklddb00+cMmFEPQmKwjZ2eJRs09YIMq KHmg== 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=mD588mxvT5RRUQG1lf2o6a0tWusEXwplBKIkZdIVy0M=; b=0ZIR+wL7+9yOHBmNxj93Kd48tJo8sZgNxMw5GZ78x1ZX2UMfMx4Il2QLY7v9tKPQYj HxqiKxp0MuApaVaJNCbTsaeIKfnUXylPGez8fN1DnsSkV4pZAW7PyYhNtAW8c/7pUBgy DV+3j9YahCHrcj84dvgHG+pbUKo9/gM9uPiN2/9w6mE1EAELLL409GT0G/4jP44b8Un2 pbjVToPZHKNBLDTVP1766y32c5cv/86Bt7YK3dKicZv9FitmziEmIVUHah6Ffi8SbAGr dBRbISl9eXAzF6iMLMCJwRnjbKPMUA4ASFA+XOOUtKxakCY7XL6s4nrq3XjneATVQTRv Ohqw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=q5fbwzGo; spf=pass (google.com: domain of elenatalita@gmail.com designates 2607:f8b0:4864:20::22e as permitted sender) smtp.mailfrom=elenatalita@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-oi1-x22e.google.com (mail-oi1-x22e.google.com. [2607:f8b0:4864:20::22e]) by gmr-mx.google.com with ESMTPS id l10-20020a170902f68a00b0016bfafffa26si41404plg.10.2022.08.17.05.48.35 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 17 Aug 2022 05:48:35 -0700 (PDT) Received-SPF: pass (google.com: domain of elenatalita@gmail.com designates 2607:f8b0:4864:20::22e as permitted sender) client-ip=2607:f8b0:4864:20::22e; Received: by mail-oi1-x22e.google.com with SMTP id t8so8867774oie.8 for ; Wed, 17 Aug 2022 05:48:35 -0700 (PDT) X-Received: by 2002:aca:5806:0:b0:33f:355b:aeee with SMTP id m6-20020aca5806000000b0033f355baeeemr1384401oib.145.1660740514628; Wed, 17 Aug 2022 05:48:34 -0700 (PDT) MIME-Version: 1.0 From: Elena Di Lavore Date: Wed, 17 Aug 2022 15:48:23 +0300 Message-ID: Subject: [HoTT] SYCO 9 - 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=q5fbwzGo; spf=pass (google.com: domain of elenatalita@gmail.com designates 2607:f8b0:4864:20::22e 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 * Jade Master - How to Compose Shortest Paths * 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 * Nathanael Arkor - Relative monads and their many guises * 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/CAEiDNXWmdvZB_XAe-5v6gB_HWBQp_jF6tPxBYxbFD2tmArJKUA%40ma= il.gmail.com.