From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9855 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: JS Lemay Newsgroups: gmane.science.mathematics.categories Subject: SYCO 3 - Call For Participation Date: Thu, 7 Mar 2019 09:37:02 +0000 Message-ID: Reply-To: JS Lemay Mime-Version: 1.0 (Mac OS X Mail 12.2 \(3445.102.3\)) 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="250560"; mail-complaints-to="usenet@blaine.gmane.org" To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Thu Mar 07 14:45:53 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 1h1tLL-00131y-54 for gsmc-categories@m.gmane.org; Thu, 07 Mar 2019 14:45:51 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:51570) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1h1tLh-0007mC-5P; Thu, 07 Mar 2019 09:46:13 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1h1tK8-00071A-5B for categories-list@mlist.mta.ca; Thu, 07 Mar 2019 09:44:36 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9855 Archived-At: THIRD SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 3) Call For Participation University of Oxford 27-28 March, 2019 http://events.cs.bham.ac.uk/syco/3/ = =20 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.=20 The second SYCO was in December 2019, at the University of Strathclyde,=20= each attracting about 70 people.=20 The third SYCO will be in Oxford and we have 15 accepted papers ranging = over theory and practice of=20 category theory, from homotopy type theory to computational monads, to = quantum resources, machine learning and linguistics.=20 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.io =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 Cosimo Perini Brogi, Kleisli Triples in Homotopy Type = Theory. A Case in Mathematical Philosophy =E2=80=A2 Fosco Loregian and Ivan Di Liberti, On the unicity of = formal category 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 Categories =E2=80=A2 Antonin Delpeuch , Autonomization of monoidal = categories =E2=80=A2 Thorsten Altenkirch, Naturality for free =E2=80=93 the = category interpretation 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 Theorems for Distributive Laws # 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=20 Dimitri Kartsaklis, Apple Kohei, Kishida, Dalhousie University Aleks Kissinger, Radboud University Nijmegen=20 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 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 # STUDENT TRAVEL SUPPORT Some funding is available to cover travel and subsistence costs, with a = priority for PhD students and junior researchers.=20 To apply for this funding, please contact the local organizer=20 Antonin Delpeuch (antonin.delpeuch@cs.ox.ac.uk = ) with subject line "SYCO 3 funding = request" by 13 March,=20 with a short statement of your current status, travel costs and funding = required [For admin and other information see: http://www.mta.ca/~cat-dist/ ]