From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9863 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: JS Pacaud Lemay Newsgroups: gmane.science.mathematics.categories Subject: SYCO 3 - Final Call For Participation Date: Mon, 18 Mar 2019 17:14:37 +0000 Message-ID: Reply-To: JS Pacaud Lemay Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="247022"; mail-complaints-to="usenet@blaine.gmane.org" To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Tue Mar 19 00:55:51 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1h626g-00124m-MC for gsmc-categories@m.gmane.org; Tue, 19 Mar 2019 00:55:50 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:59101) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1h6268-0001nZ-QD; Mon, 18 Mar 2019 20:55:16 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1h624U-0006UK-76 for categories-list@mlist.mta.ca; Mon, 18 Mar 2019 20:53:34 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9863 Archived-At: [Apologies to those of you who have received multiple copies of this email] THIRD SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 3) Second Call For Participation University of Oxford 27-28 March, 2019 http://events.cs.bham.ac.uk/syco/3/ 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. The first SYCO was in September 2018 at the University of Birmingham. The second SYCO was in December 2019, at the University of Strathclyde, each attracting about 70 people. The third SYCO will be in Oxford and we have 15 accepted papers ranging over theory and practice of category theory, from homotopy type theory to computational monads, to quantum resources, machine learning and linguistics. Indeed the SYCO series aims to bring together the communities behind many previous successful events which have taken place over the last decade, including "Categories, Logic and Physics", "Categories, Logic and Physics (Scotland)", "Higher-Dimensional Rewriting and Applications", "String Diagrams in Computation, Logic and Physics", "Applied Category Theory", "Simons Workshop on Compositionality", and the "Peripatetic Seminar in Sheaves and Logic". # INVITED SPEAKERS Marie Kerjean, INRIA Bretagne Atlantique Alessandra Palmigiano, Delft University of Technology and University of Johannesburg # ACCEPTED PAPERS =E2=80=A2 Chase Bednarz, Occlusion Operads for Image Segmentation =E2=80=A2 Lukas Heidemann, Nick Hu and Jamie Vicary, Introducing homotopy.i= o =E2=80=A2 Tai-Danae Bradley, Martha Lewis, Jade Master and Bradley Theilman, Translating and Evolving: Towards a Model of Language Change in DisCoCat =E2=80=A2 Martha Lewis, Compositionality for Recursive Neural Networks =E2=80=A2 Fosco Loregian and Ivan Di Liberti, On the unicity of formal cate= gory theories =E2=80=A2 Samson Abramsky, Rui Soares Barbosa, Martti Karvonen and Shane Mansfield, A comonadic view of simulation and quantum resources =E2=80=A2 Stefano Gogioso, Categorical Quantum Dynamics =E2=80=A2 Chad Nester, Constructing Cryptocurrency Ledgers with Monoidal Ca= tegories =E2=80=A2 Antonin Delpeuch , Autonomization of monoidal categories =E2=80=A2 Thorsten Altenkirch, Naturality for free =E2=80=93 the category i= nterpretation of directed type theory =E2=80=A2 Sharwin Rezagholi, Tobias Fritz and Paolo Perrone, The support is= a morphism of monads =E2=80=A2 Neil Ghani, Clemens Kupke, Alasdair Lambert and Fredrik Nordvall Forsberg, Compositional Game Theory with Mixed Strategies: Probabilistic Open Games =E2=80=A2 Mario Alvarez-Picallo and C.-H. Luke Ong, Change Actions: Models = of Generalised Differentiation =E2=80=A2 Maaike Zwart and Dan Marsden, Don't Try This at Home: No-Go Theor= ems for Distributive Laws # SCHEDULE OUTLINE: March 27, 1030-1730 March 28, 930-1530 # PROGRAMME COMMITTEE Fatimah Ahmadi, University of Oxford Miriam Backens, University of Oxford Corina Cirstea, University of Southampton Bob Coecke, University of Oxford Carmen Maria Constantin, University of Oxford Antonin Delpeuch, University of Oxford Brendan Fong, Massachusetts Institute of Technology Dan Ghica, University of Birmingham Giuseppe Greco, Utrecht University Helle Hvid Hansen, Delft University Jules Hedges, University of Oxford Chris Heunen, University of Edinburgh Dominic Horsman, University of Grenoble Dimitri Kartsaklis, Apple Kohei, Kishida, Dalhousie University Aleks Kissinger, Radboud University Nijmegen Alexander Kurz, Chapman University Jean-Simon Lemay, University of Oxford Martha Lewis, University of Amsterdam Dan Marsden, University of Oxford Samuel Mimram, =C3=89cole Polytechnique Michael Moortgat, Utrecht University Nina Otter, UCLA Simona Paoli, University of Leicester Robin Piedeleu, University of Oxford David Reutter, University of Oxford Mehrnoosh Sadrzadeh, Queen Mary University of London (chair) Christine Tasson, Paris Diderot University Jamie Vicary, University of Birmingham Tamara von Glehn, University of Cambridge Quanlong Wang, University of Oxford Gijs Wijnholds, Queen Mary University of London Philipp Zahn, University of St.Gallen [For admin and other information see: http://www.mta.ca/~cat-dist/ ]