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-yw1-xc3e.google.com (mail-yw1-xc3e.google.com [2607:f8b0:4864:20::c3e]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id d2316615 for ; Mon, 24 Feb 2020 18:00:10 +0000 (UTC) Received: by mail-yw1-xc3e.google.com with SMTP id 199sf8694478ywe.20 for ; Mon, 24 Feb 2020 10:00:10 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1582567209; cv=pass; d=google.com; s=arc-20160816; b=EzzAidER5tjAo4flxmFBEEUYF74Qg0WiZm/zF34BCKQ/rPCzKyk79YhWlJKfh3P7At MwtDhbluceq4RwRiNoilk4O/6FTM03XqTn0CDIliVqFYlZw89Atx3AVAQCgGKkY4Xfcm lC9SD85uu/vKhukQ+gCuuK4A9mRDx97QO49BktlXjL6dmMS+pQjtCwPDuYsnpMpi0rju 4OV0Un8AFIw6qlz0gc58avNmpzYFbwrNKtLSw2AZoaWQ8zbYjC8ggD0jYgkkc/qARFS+ e9yMqyYFCpLX3XI+RAB2dwWMWPJ7chttFhQWchkaj1ecRo4+dWUAZnYxK3lo96BAqwgA g26g== 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=pMoBusy3ugQ1paYlgOXc3ymdliA3CYPPrb0fS4Z+7f8=; b=uIz3H2dQoODYv0lpnhgRG9lFMIS2kIy6H0ZA3OHTPbH3jPZKYxPuGEOFTbM1kSSbKT +4xMRpPfPAcQx4jZm0fIifjLK452AQDtOaBnokH9H/yEBfZV3zG/S69sEEl2ybKA6AYp 3eNSwcLupXQ+epW/EuxJC2Xz2cqeNpnUv2sxYYOVwE6WAYh6yGsQ7h8N52WHfywvkYP7 BoMzmlTF+FwQ6obSRzrqQEP9+ZbLLf+rU1bcTc7U/joKM7sUF35GYqb9cE1pWDfGnWLk eq4NdI0OzWF8Pd6vri8R0hjq2ze4JPm53dcS8vCKqA3uQrKBsqbKdvzIi9ajGFp14BUC dGfA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=f1hM5XQk; spf=pass (google.com: domain of errenz@gmail.com designates 2607:f8b0:4864:20::c31 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=pMoBusy3ugQ1paYlgOXc3ymdliA3CYPPrb0fS4Z+7f8=; b=W7dQju0csgaSI38ufAkYY67Mej7dxEFDoOQSfJ1gT/rUq+SvQEwZ2wrU19aoLRZYe2 FQ7iZ+KA2b4OdVXd3YOXq7vX6RaTusgp06fH6rlrqRyKSOfIoQl8D57S43S+v0NQaXXy o9+MgI2uN26pSgxu/d1UA5fk1jyMyKo+1bIoB0d8cRteCcGgtx9uTD4l5yz1KZbNoqrS XJKRI/AlgNImkYmJlNbEBOvFStWJ3aInRSPfariDJeNpuAwqCxO2HAqK7DRQJqYd00WO Ms8386p2f57IM0abgFakUCoiKmXrvXmOSD3JbDoL9taRitJkvk2fJHqTeoSQG+P5J5tV LNTQ== 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=pMoBusy3ugQ1paYlgOXc3ymdliA3CYPPrb0fS4Z+7f8=; b=GVDoIE2SEy1CUKXPKZG9o4pNqwQjqMeU7qcg8XhultEG/5+9WIXfONiiOssbrF4wJO vILypGZzJ06YqtR7EQGYIYyP+kpIRR1VesKm5jR9W2DXvzTUkizltektowQwys4+c9MN MbYs4Pc/Zi63CDslyMOcwm+ZUaxVi+gDk5reOrZHfUAwKiRirh5A2143zvrhckhcaFRc 28RMiFra+RQ1o+cJbnFYz41D1EeZbviQcloA8oCJWrZHEIh1Fh1OynSEP1kxjqlTu/qL KwvRWkiAFbtN24k+omuFH/uc9/8cqTrcSzdi4VinVhVqF4JtvoqWBx9KyoX05IELH7OR OnkA== 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=pMoBusy3ugQ1paYlgOXc3ymdliA3CYPPrb0fS4Z+7f8=; b=iTRdPWUYG2RrBd//Mgv16diXmyfqo2cBK0B8QXtSZd7OK1EecpLgRPdIVVAzkMtoU3 ySo1npZu5BJAdBZYwTBGLGemCpgdED2JNeTSWzhoWDqv22x09lxj+sazUkwbV1LRejD0 i2ZyaMHZrcvDK0YEtuiLvzgODKOGdkm+2DvfLoF35NlX43fFqobOvp4gwunxumepIa6X 3CJwH/BRtW7iP4KGGXCbhazYoR3REEN87tMvqsQU1k0vSavyh0qAW7TUAHK9GLnNSY+h PL31630wuvbwV2qrqhsOrQeCMFoiK6vTRS5EAeshJC7EheeWUCllgMBtG3fwM5/d6Tq7 1nug== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAWmVWkKTwcdnW3aK7DpmZ7IYO2maYZgap7lRF4unIyClwxygCf9 RkSYKak+OMFR3pOyyAlN4gw= X-Google-Smtp-Source: APXvYqzqvr0BK9Pvb6wN+p20RQbei2bZKmYLrnMyY+fOdazFo8CCfVEwNMTLPdp8KRdWJPhqYzX0lA== X-Received: by 2002:a81:3a06:: with SMTP id h6mr41880968ywa.170.1582567209076; Mon, 24 Feb 2020 10:00:09 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a25:d648:: with SMTP id n69ls1519716ybg.7.gmail; Mon, 24 Feb 2020 10:00:08 -0800 (PST) X-Received: by 2002:a25:8e11:: with SMTP id p17mr48200164ybl.177.1582567208471; Mon, 24 Feb 2020 10:00:08 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1582567208; cv=none; d=google.com; s=arc-20160816; b=UdZLldraUDk0oHxo9uxKQ3f7D4Pnywio70zunOEpWTNNexmezNYU0i2EK1D2nXIGaa mwVcE1HAE+78T0iAtAhNRsbdcEfhF4dWtJX+EmLCkGTmw0joiPmPqfSjtC55X1xeniRv 8PUh2By21n2dSEDeM5FXgver8flONrLHMh8q3+lha2UReZcOn4M/ZhVjaDtj8FvAi0cV sc9ZuSsLuSLr7h63QC2+LyKgk5XoLRwN69q4497o98uGp6mVnludmWG43r/dvfc5RhjE WliQSsZ9Uh1zvjaFhZZJhGyXMUOF0Zaaakg6WK11b8hNExLhMTrYsJ2xPPaQIkajAnmM /BLA== 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=bPwS2/SXQz7E9ggSVsUiDuuWu40AbFJwh7zJr1k4lIQ=; b=mn2Xu68x+xCOannmk2uCsXIkr0aJdsE6Jhjd5NWsBRDPtNcUlMQDSHKBGArq/TCjfW lgjnV07Xx7bn/hiH7nTRHX5VlbgTHhiIaqaOeYOUzI9Z6IeXz6Gzysvd48KLnkTvVf52 0berYDDBMflHmqRdXFim4Cav33mhzIsFbe96fbFp+HlxP5JTQQdxXhW4Usn/TgRQ6wwH wnfxa0JPX/MoTjMvqmoeG2JS+H1NV+KrkK2DH0vTTfGFAbZw1a9BeYeMAzGM4fzY/z1P y5fX6+TrMrTYDbuJh5SFwf0+/wwLtjz28jSswGHTrZhrGVuj1dE5YTL/Ib2lKFNUH7Y9 U+Tw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=f1hM5XQk; spf=pass (google.com: domain of errenz@gmail.com designates 2607:f8b0:4864:20::c31 as permitted sender) smtp.mailfrom=errenz@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-yw1-xc31.google.com (mail-yw1-xc31.google.com. [2607:f8b0:4864:20::c31]) by gmr-mx.google.com with ESMTPS id i200si860678ywa.3.2020.02.24.10.00.08 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 24 Feb 2020 10:00:08 -0800 (PST) Received-SPF: pass (google.com: domain of errenz@gmail.com designates 2607:f8b0:4864:20::c31 as permitted sender) client-ip=2607:f8b0:4864:20::c31; Received: by mail-yw1-xc31.google.com with SMTP id z141so5589241ywd.13 for ; Mon, 24 Feb 2020 10:00:08 -0800 (PST) X-Received: by 2002:a0d:d303:: with SMTP id v3mr40801054ywd.299.1582567208176; Mon, 24 Feb 2020 10:00:08 -0800 (PST) MIME-Version: 1.0 From: Amar Hadzihasanovic Date: Mon, 24 Feb 2020 17:59:57 +0000 Message-ID: Subject: [HoTT] SYCO 7 - Call for Participation To: quantum@cs.ox.ac.uk, 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=f1hM5XQk; spf=pass (google.com: domain of errenz@gmail.com designates 2607:f8b0:4864:20::c31 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 PARTICIPATION 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. The next SYCO, to be held at Tallinn University of Technology, will host 2 invited talks and 14 contributed talks. Topics range from logical methods in computer science, to higher category theory, through applications of categories in probability and linguistics. INVITED TALKS =3D=3D=3D=3D=3D=3D=3D=3D * Bartek Klin (University of Warsaw) Monadic monadic second order logic * Christine Tasson (IRIF, Universit=C3=A9 de Paris) The linear-non-linear substitution 2-monad CONTRIBUTED TALKS =3D=3D=3D=3D=3D=3D=3D=3D * Sivert Aasn=C3=A6ss - Contextuality for circuits * Vikraman Choudhury - Tracking intensional resources using weighted sets and comonads * Elena di Lavore - A proposal for subgame perfection in compositional game theory * Tobias Fritz, Eigil Fjeldgren Rischel - The zero-one laws of Kolmogorov and Hewitt-Savage in categorical probability * Lukas Heidemann - Frames in pretriangulated dg-categories * Nick Hu - External traced monoidal categories * Maxime Lucas - Rewriting strategies as contracting homotopies * Violeta Martins de Freitas - Life in arrows: an introduction to applied category theory * Dylan McDermott, Alan Mycroft - On the relation between call-by-value and call-by-name * Michael Moortgat, Mehrnoosh Sadrzadeh, Gijs Wijnholds - A Frobenius algebraic analysis for parasitic gaps * Olivier Peltre - Homological algebra for message-passing algorithms * Alex Rice - Coinductive invertibility in higher categories * Julian Salamanca T=C3=A9llez - Distributive laws over the powerset * Niels van der Weide - Constructing finitary 1-truncated higher inductive types as groupoid quotients REGISTRATION =3D=3D=3D=3D=3D=3D=3D=3D Registration is open until Monday 23 March. Details are available on the conference website: http://events.cs.bham.ac.uk/syco/7/ 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 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/CAJb9em1AaCP3PFxtjvu3wWNh49axXzRBdVs8JJRvWGsVhx2VWw%40ma= il.gmail.com.