<div dir="ltr">--------------------------------------------------------<br>CALL FOR PARTICIPATION<br>EIGHTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 8)<br><br>Tallinn University of Technology, Estonia<br>13-14 December 2021<br><br>Registration deadline: 6 December 2021 (AoE)<br><br><a href="https://urldefense.com/v3/__https://www.cl.cam.ac.uk/events/syco/8/__;!!IBzWLUs!BVohDgoWGzYuiOxY-CJhmCgOvEVqGKBZgbHTUZ6xHqLY73GWSAxz20zANAgNx_ZubP7KrSfV6q4c5w$">https://www.cl.cam.ac.uk/events/syco/8/</a><br>--------------------------------------------------------<br><br>The Symposium on Compositional Structures (SYCO) is an<br>interdisciplinary series of meetings aiming to support the growing<br>community of researchers interested in the phenomenon of<br>compositionality, from both applied and abstract perspectives, and in<br>particular where category theory serves as a unifying common language.<br>Previous SYCO events have been held at University of Birmingham,<br>University of Strathclyde, University of Oxford, Chapman University,<br>and University of Leicester.<br><br>SYCO 8 will be held at Tallinn University of Technology, replacing the<br>cancelled SYCO 7. The programme consists of 2 invited talks<br>and 16 contributed talks.<br><br>--------------------------------------------------------<br>INVITED TALKS<br><br>* John van de Wetering (Radboud University Nijmegen)<br>Title TBA<br><br>* Christine Tasson (Sorbonne Université)<br>Title TBA<br><br>--------------------------------------------------------<br>CONTRIBUTED TALKS<br><br>* Stefan Zetzsche, Gerco van Heerdt, Matteo Sammartino and Alexandra Silva<br>   - Canonical automata via distributive law homomorphisms<br>* Simon Henry and Nicholas Meadows<br>   - Higher Theories and Monads<br>* Paulina Goedicke and Jamie Vicary<br>   - A Category Theoretical Description of Block Designs and Quantum Designs<br>* Vincent Wang-Mascianica and Bob Coecke<br>   - Talking Space: Inference from spatial linguistic meanings<br>* Lukas Heidemann<br>   - Frames in pretriangulated dg-categories<br>* Elena Di Lavore, Wilmer Leal and Valeria de Paiva<br>   - Dialectica Petri nets<br>* George Kaye, Dan Ghica and David Sprunger<br>   - Normalisation by evaluation for digital circuits<br>* Guillaume Boisseau and Robin Piedeleu<br>   - Graphical Piecewise-Linear Algebra<br>* Liliane-Joy Dandy, Emmanuel Jeandel and Vladimir Zamdzhiev<br>   - Qimaera: Type-safe (Variational) Quantum Programming in Idris<br>* Matt Wilson and Augustin Vanrietvelde<br>   - Composable constraints<br>* Davide Trotta, Matteo Spadetto and Valeria de Paiva<br>   - Dialectica Logical Principles<br>* Simon Fortier-Garceau<br>   - Interventions and Counterfactuals for Categorical Models of Causality<br>* Vikraman Choudhury<br>   - Weighted sets and modalities<br>* Elena Di Lavore and Pawel Sobocinski<br>   - Monoidal width<br>* Dylan McDermott and Alan Mycroft<br>   - On the relation between call-by-value and call-by-name<br>* Olivier Peltre<br>   - Homological algebra for message-passing algorithms<br><br>--------------------------------------------------------<br>REGISTRATION<br><br>Registration is open until the 6th of December, 2021.<div>Please register via this online form:<br><a href="https://urldefense.com/v3/__https://docs.google.com/forms/d/e/1FAIpQLSfAgcQnimYJPM2msBraTU_0k-8zAqwwalYzpSgVtfKgfjkptA/viewform__;!!IBzWLUs!BVohDgoWGzYuiOxY-CJhmCgOvEVqGKBZgbHTUZ6xHqLY73GWSAxz20zANAgNx_ZubP7KrSdod8NZvA$">https://docs.google.com/forms/d/e/1FAIpQLSfAgcQnimYJPM2msBraTU_0k-8zAqwwalYzpSgVtfKgfjkptA/viewform</a></div><div>Registration is free.<br><div>More details are available on the conference website:<br><a href="https://urldefense.com/v3/__https://www.cl.cam.ac.uk/events/syco/8/__;!!IBzWLUs!BVohDgoWGzYuiOxY-CJhmCgOvEVqGKBZgbHTUZ6xHqLY73GWSAxz20zANAgNx_ZubP7KrSfV6q4c5w$">https://www.cl.cam.ac.uk/events/syco/8/</a><br><br>--------------------------------------------------------<br>COVID-19 SITUATION IN ESTONIA<br><br>In the last weeks, there has been a concerning rise in the number of<br>COVID-19 cases and hospitalisations in Estonia. A considerable<br>majority of serious cases concern the unvaccinated, and so far<br>the government of Estonia has not introduced major restrictions on<br>those who can prove recovery and/or vaccination with an EU-approved<br>vaccine.<br><br>In light of that, at the moment we are carrying on with the event<br>in a hybrid form, as planned, and inviting those who are willing,<br>and have proof of recovery and/or vaccination, to participate in person.<br><br>At the moment, for the UK, EU, and Schengen countries, proof of<br>vaccination or recovery, and the filling of a passenger locator form,<br>is sufficient to avoid self-isolation on arrival to Estonia.<br>Please consult the government web page for the latest regulations:<br><a href="https://urldefense.com/v3/__https://vm.ee/en/information-countries-and-self-isolation-requirements-passengers__;!!IBzWLUs!BVohDgoWGzYuiOxY-CJhmCgOvEVqGKBZgbHTUZ6xHqLY73GWSAxz20zANAgNx_ZubP7KrSeG361lXw$">https://vm.ee/en/information-countries-and-self-isolation-requirements-passengers</a><br><br>In the unlikely event of new restrictions that make it impossible<br>to hold the event as planned, we will send out an update on mailing<br>lists and on the SYCO 8 website no later than the beginning of<br>December.<br><br>--------------------------------------------------------<br>PROGRAMME COMMITTEE<br><br>Ross Duncan, University of Strathclyde<br>Alexandre Goy, MICS, CentraleSupélec<br>Amar Hadzihasanovic, Tallinn University of Technology (local organiser)<br>Jules Hedges, University of Strathclyde<br>Chris Heunen, University of Edinburgh<br>Aleks Kissinger, University of Oxford<br>Jade Master, University of Strathclyde<br>Dan Marsden, University of Oxford<br>Hector Miller-Bakewell<br>Samuel Mimram, École Polytechnique<br>Koko Muroya, Kyoto University<br>Simona Paoli, University of Aberdeen<br>Mehrnoosh Sadrzadeh, University College London<br>Maru Sarazola, Johns Hopkins University<br>Pawel Sobocinski, Tallinn University of Technology  (local organiser)<br>Christina Vasilakopoulou, University of Patras<br>Jamie Vicary, University of Cambridge<br>Maaike Zwart, IT University of Copenhagen (chair)<br><br>--------------------------------------------------------------<br>STEERING COMMITTEE<br><br>Ross Duncan, University of Strathclyde<br>Chris Heunen, University of Edinburgh<br>Dominic Horsman, University of Grenoble<br>Aleks Kissinger, University of Oxford<br>Samuel Mimram, École Polytechnique<br>Simona Paoli, University of Aberdeen<br>Mehrnoosh Sadrzadeh, University College London<br>Pawel Sobocinski, Tallinn University of Technology<br>Jamie Vicary, University of Cambridge<br></div></div></div>