From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10792 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Elena Di Lavore Newsgroups: gmane.science.mathematics.categories Subject: SYCO 9 - Last call for participation Date: Wed, 31 Aug 2022 19:40:56 +0300 Message-ID: Reply-To: Elena Di Lavore Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="22173"; mail-complaints-to="usenet@ciao.gmane.io" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Fri Sep 02 04:00:44 2022 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1oTvz9-0005a2-Qi for gsmc-categories@m.gmane-mx.org; Fri, 02 Sep 2022 04:00:43 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:37578) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1oTvxn-0002ZM-Cx; Thu, 01 Sep 2022 22:59:19 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1oTvxG-0001Tg-8l for categories-list@rr.mta.ca; Thu, 01 Sep 2022 22:58:46 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10792 Archived-At: -------------------------------------------------------- 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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]