From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:aa7:9af8:: with SMTP id y24mr9449347pfp.91.1584034167204; Thu, 12 Mar 2020 10:29:27 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a63:150:: with SMTP id 77ls2788331pgb.0.gmail; Thu, 12 Mar 2020 10:29:25 -0700 (PDT) X-Received: by 2002:a63:6203:: with SMTP id w3mr9037242pgb.35.1584034165411; Thu, 12 Mar 2020 10:29:25 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1584034165; cv=none; d=google.com; s=arc-20160816; b=XH2q0VKOSGA/86eU7FqiH+MSPzhjFz5wPTsAlrtuD+kFJ3Rjsu8ruuEHkYU03BnybF kUAxSyUpzMec+cCtP+JDU3e2r8z1DgE1R7w7IxRaXdBIYh9u9nJFaG6HUVgyQ3u1/J14 v5deqbVx1u9LxvgkkerubqwEnc1JMlOLZ4scX+SWe18NyAkMlMRE/XAPUOF32sac5eIe jfl1HccI3CrVcL4rz0T0nefm9m7BhH8NLIuaoTY43/sZJmeGWXOCFWGDHO4sQUoTBRi5 bEDpX/7YnNXWbtCuOuamV1LwMASkyAvpWp8eudSqxpuldeaGRokgFZO3V3VrvLm4Q02n eSvg== 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 :in-reply-to:references:mime-version:dkim-signature; bh=hRnO/D6I2ORySyu8L281aEb2nFM0qHz0xtRNrgM8/us=; b=IioXWH4ff/z4p6m4S7IjmXVQ9uMKBbDUFdEewj4QeY4N56DQ3wUEAsS2j8nyLgCHmG k83Vg1f5EqVckAWABulPPPmZEsl+KwS8ILxBsIby6hNn6hFKYVzalYY4zGln88ZxgDdq hx6p+MjGANBBlkmqg4Mmms1pXvhdGQm9SrQ/7VOsEDAtsxlnDSa2qdkzBER/if5dcr83 CC6MO14fL/fX/TuTMhMzeYlkEQwWsMCJ3PRn+LbLiADx2juBkCZC/JHinW/dDuzoECuN sea1bWbW7FlAeciRF/NV0BWvD8gVpPHQVUytrwlWAO4KkRHR9/YCWPoTkzM9/1tfWGy+ hBvA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=qNqkgolu; spf=pass (google.com: domain of err...@gmail.com designates 2607:f8b0:4864:20::72d as permitted sender) smtp.mailfrom=err...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from mail-qk1-x72d.google.com (mail-qk1-x72d.google.com. [2607:f8b0:4864:20::72d]) by gmr-mx.google.com with ESMTPS id x12si275207plv.3.2020.03.12.10.29.25 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 12 Mar 2020 10:29:25 -0700 (PDT) Received-SPF: pass (google.com: domain of err...@gmail.com designates 2607:f8b0:4864:20::72d as permitted sender) client-ip=2607:f8b0:4864:20::72d; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=qNqkgolu; spf=pass (google.com: domain of err...@gmail.com designates 2607:f8b0:4864:20::72d as permitted sender) smtp.mailfrom=err...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: by mail-qk1-x72d.google.com with SMTP id b5so7557102qkh.8 for ; Thu, 12 Mar 2020 10:29:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :content-transfer-encoding; bh=hRnO/D6I2ORySyu8L281aEb2nFM0qHz0xtRNrgM8/us=; b=qNqkgolue6bZXYWeo8rWtaoAAxp+QQke6ckhwL5by8UI3UxtB83tNkrHtqR5v2gTUj vQPdEcy1myStLuPzHCubwEdK5PguAJ25szMZh8OmvZdfogq1EiQz6wJrZvjNROS9ftpB fTVRz3kc7+i2qKTyehOEGvMyep0xX0VGkNjxf4fXecYy2QskJNiLVglULIrQIfMNVvYb zOHho5o4OViBJKehn0EE4DZUqK1AW1z3fk2yAL3qYFSImh7or7kNov/f0vkPH1rfvWGA PZjmIJzXXtXzJ073KfpCrVBKOlrMR8A0UXmwO7w8KuYWBiWBaRBP3Bm1f25FZXqcSh32 7rjw== X-Gm-Message-State: ANhLgQ16y1Y9AtkfFO5brkqTblrbeLDen5wLX7xfFIBn5Xh9Ne7LNI2a E03MqteXkfeoRIgRGM6qeStbEtx05NyFo9SbPBlTsGOf X-Received: by 2002:a25:4157:: with SMTP id o84mr10693442yba.365.1584034164460; Thu, 12 Mar 2020 10:29:24 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Amar Hadzihasanovic Date: Thu, 12 Mar 2020 18:29:13 +0100 Message-ID: Subject: POSTPONED: SYCO 7 To: qua...@cs.ox.ac.uk, HomotopyT...@googlegroups.com Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all, In response to travel restrictions and uncertainty related to the 2020 coronavirus outbreak in Europe, we have decided to postpone the meeting until further notice. All the best, Amar on behalf of the steering committee On Mon, Feb 24, 2020 at 6:59 PM Amar Hadzihasanovic wrot= e: > > =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