-------------------------------------------------------- CALL FOR PARTICIPATION EIGHTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 8) Tallinn University of Technology, Estonia 13-14 December 2021 Registration deadline: 6 December 2021 (AoE) 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 at Tallinn University of Technology, 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) Title TBA * Christine Tasson (Sorbonne Universite) Title TBA -------------------------------------------------------- CONTRIBUTED TALKS * 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. Please register via this online form: 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 In the last weeks, there has been a concerning rise in the number of COVID-19 cases and hospitalisations in Estonia. A considerable majority of serious cases concern the unvaccinated, and so far the government of Estonia has not introduced major restrictions on those who can prove recovery and/or vaccination with an EU-approved vaccine. In light of that, at the moment we are carrying on with the event in a hybrid form, as planned, and inviting those who are willing, and have proof of recovery and/or vaccination, to participate in person. At the moment, for the UK, EU, and Schengen countries, proof of vaccination or recovery, and the filling of a passenger locator form, is sufficient to avoid self-isolation on arrival to Estonia. Please consult the government web page for the latest regulations: https://vm.ee/en/information-countries-and-self-isolation-requirements-passe... In the unlikely event of new restrictions that make it impossible to hold the event as planned, we will send out an update on mailing lists and on the SYCO 8 website no later than the beginning of December. -------------------------------------------------------- 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, École 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/ ]