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/ <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 • Chase Bednarz, Occlusion Operads for Image Segmentation • Lukas Heidemann, Nick Hu and Jamie Vicary, Introducing homotopy.io • Tai-Danae Bradley, Martha Lewis, Jade Master and Bradley Theilman, Translating and Evolving: Towards a Model of Language Change in DisCoCat • Martha Lewis, Compositionality for Recursive Neural Networks • Cosimo Perini Brogi, Kleisli Triples in Homotopy Type Theory. A Case in Mathematical Philosophy • Fosco Loregian and Ivan Di Liberti, On the unicity of formal category theories • Samson Abramsky, Rui Soares Barbosa, Martti Karvonen and Shane Mansfield, A comonadic view of simulation and quantum resources • Stefano Gogioso, Categorical Quantum Dynamics • Chad Nester, Constructing Cryptocurrency Ledgers with Monoidal Categories • Antonin Delpeuch , Autonomization of monoidal categories • Thorsten Altenkirch, Naturality for free – the category interpretation of directed type theory • Sharwin Rezagholi, Tobias Fritz and Paolo Perrone, The support is a morphism of monads • Neil Ghani, Clemens Kupke, Alasdair Lambert and Fredrik Nordvall Forsberg, Compositional Game Theory with Mixed Strategies: Probabilistic Open Games • Mario Alvarez-Picallo and C.-H. Luke Ong, Change Actions: Models of Generalised Differentiation • 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 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, École 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. To apply for this funding, please contact the local organizer Antonin Delpeuch (antonin.delpeuch@cs.ox.ac.uk <mailto:antonin.delpeuch@cs.ox.ac.uk>) with subject line "SYCO 3 funding request" by 13 March, 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/ ]