-------------------------------------------------------- CALL FOR PARTICIPATION EIGHTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 8) In person at Tallinn University of Technology, Estonia Also online. 13-14 December 2021 Registration deadline: 6 December 2021 (AoE) Please register even when attending online. https://www.cl.cam.ac.uk/events/syco/8/ -------------------------------------------------------- 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. SYCO 8 will be held both at Tallinn University of Technology and online, replacing the cancelled SYCO 7. The programme consists of 2 invited talks and 16 contributed talks. -------------------------------------------------------- INVITED TALKS * John van de Wetering (Radboud University Nijmegen) - Categorical approaches to reconstructing quantum theory * Christine Tasson (Sorbonne Universite) - A multicategorical approach to mixed linear-non-linear substitution -------------------------------------------------------- CONTRIBUTED TALKS Full schedule available at https://www.cl.cam.ac.uk/events/syco/8/ * Stefan Zetzsche, Gerco van Heerdt, Matteo Sammartino and Alexandra Silva - Canonical automata via distributive law homomorphisms * Simon Henry and Nicholas Meadows - Higher Theories and Monads * Paulina Goedicke and Jamie Vicary - A Category Theoretical Description of Block Designs and Quantum Designs * Vincent Wang-Mascianica and Bob Coecke - Talking Space: Inference from spatial linguistic meanings * Lukas Heidemann - Frames in pretriangulated dg-categories * Elena Di Lavore, Wilmer Leal and Valeria de Paiva - Dialectica Petri nets * George Kaye, Dan Ghica and David Sprunger - Normalisation by evaluation for digital circuits * Guillaume Boisseau and Robin Piedeleu - Graphical Piecewise-Linear Algebra * Liliane-Joy Dandy, Emmanuel Jeandel and Vladimir Zamdzhiev - Qimaera: Type-safe (Variational) Quantum Programming in Idris * Matt Wilson and Augustin Vanrietvelde - Composable constraints * Davide Trotta, Matteo Spadetto and Valeria de Paiva - Dialectica Logical Principles * Simon Fortier-Garceau - Interventions and Counterfactuals for Categorical Models of Causality * Vikraman Choudhury - Weighted sets and modalities * Elena Di Lavore and Pawel Sobocinski - Monoidal width * Dylan McDermott and Alan Mycroft - On the relation between call-by-value and call-by-name * Olivier Peltre - Homological algebra for message-passing algorithms -------------------------------------------------------- REGISTRATION Registration is open until the 6th of December, 2021. You can register for either the in person meeting or for the online event. Please register via: https://docs.google.com/forms/d/e/1FAIpQLSfAgcQnimYJPM2msBraTU_0k-8zAqwwalYz... Registration is free. More details are available on the conference website: https://www.cl.cam.ac.uk/events/syco/8/ -------------------------------------------------------- COVID-19 SITUATION IN ESTONIA The number of covid cases in Estonia is sharply declining, so we feel confident to go ahead with SYCO 8. We are aware of the new Omicron variant, but according to the WHO there is as yet insufficient data to draw any conclusions about its effect on the vaccinated population. We are therefore carrying on with the event in a hybrid form, as planned. We invite those who are willing, and have proof of recovery and/or vaccination, to participate in person. However, each country is imposing its own new travel restrictions. So please check your own country's regulations before booking. At the moment, for the UK, EU, and Schengen countries, proof of vaccination or recovery, and filling out a passenger locator form, is sufficient to enter Estonia. You do not need to get tested or isolate if you fulfill these requirements. Please consult the government web page for the latest regulations: https://vm.ee/en/information-countries-and-self-isolation-requirements-passe... -------------------------------------------------------- PROGRAMME COMMITTEE Ross Duncan, University of Strathclyde Alexandre Goy, MICS, CentraleSupelec Amar Hadzihasanovic, Tallinn University of Technology (local organiser) Jules Hedges, University of Strathclyde Chris Heunen, University of Edinburgh Aleks Kissinger, University of Oxford Jade Master, University of Strathclyde Dan Marsden, University of Oxford Hector Miller-Bakewell Samuel Mimram, Ecole Polytechnique Koko Muroya, Kyoto University Simona Paoli, University of Aberdeen Mehrnoosh Sadrzadeh, University College London Maru Sarazola, Johns Hopkins University Pawel Sobocinski, Tallinn University of Technology (local organiser) Christina Vasilakopoulou, University of Patras Jamie Vicary, University of Cambridge Maaike Zwart, IT University of Copenhagen (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/ ]