<div dir="ltr">  --------------------------------------------------------<br>CALL FOR PARTICIPATION<br>EIGHTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 8)<br><br>In person at Tallinn University of Technology, Estonia<br>Also online.<div>13-14 December 2021<div><br>Registration deadline: 6 December 2021 (AoE)<br>Please register even when attending online.<br><br><a href="https://urldefense.com/v3/__https://www.cl.cam.ac.uk/events/syco/8/__;!!IBzWLUs!ArC6yKd-bKyeUi1kcUpC3hzY15fYQ2sZFTtyVy8rgf9wF4RSimzNhzMrdvWnME0Jr3HvNlXOq3bg8g$" target="_blank">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 both at Tallinn University of Technology and online,</div><div>replacing the cancelled SYCO 7. The programme consists of </div><div>2 invited talks and 16 contributed talks.<br><br>--------------------------------------------------------<br>INVITED TALKS<br><br>* John van de Wetering (Radboud University Nijmegen)<i><br>   - Categorical approaches to reconstructing quantum theory</i><br><br>* Christine Tasson (Sorbonne Université)<i><br>   - A multicategorical approach to mixed linear-non-linear substitution</i><br><br>--------------------------------------------------------<br>CONTRIBUTED TALKS</div><div>Full schedule available at <a href="https://urldefense.com/v3/__https://www.cl.cam.ac.uk/events/syco/8/__;!!IBzWLUs!ArC6yKd-bKyeUi1kcUpC3hzY15fYQ2sZFTtyVy8rgf9wF4RSimzNhzMrdvWnME0Jr3HvNlXOq3bg8g$" target="_blank">https://www.cl.cam.ac.uk/events/syco/8/</a><br></div><div><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><div>You can register for either the in person meeting or </div><div>for the online event.</div><div><div><br></div><div>Please register via:<br><a href="https://urldefense.com/v3/__https://docs.google.com/forms/d/e/1FAIpQLSfAgcQnimYJPM2msBraTU_0k-8zAqwwalYzpSgVtfKgfjkptA/viewform__;!!IBzWLUs!ArC6yKd-bKyeUi1kcUpC3hzY15fYQ2sZFTtyVy8rgf9wF4RSimzNhzMrdvWnME0Jr3HvNlXG0LtoQw$" target="_blank">https://docs.google.com/forms/d/e/1FAIpQLSfAgcQnimYJPM2msBraTU_0k-8zAqwwalYzpSgVtfKgfjkptA/viewform</a></div><div>Registration is free.<br><div><br></div><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!ArC6yKd-bKyeUi1kcUpC3hzY15fYQ2sZFTtyVy8rgf9wF4RSimzNhzMrdvWnME0Jr3HvNlXOq3bg8g$" target="_blank">https://www.cl.cam.ac.uk/events/syco/8/</a><br><br>--------------------------------------------------------<br>COVID-19 SITUATION IN ESTONIA<br><br>The number of covid cases in Estonia is sharply declining,<br>so we feel confident to go ahead with SYCO 8.</div><div>We are aware of the new Omicron variant, but according to</div><div>the WHO there is as yet insufficient data to draw any conclusions</div><div>about its effect on the vaccinated population.<br><br>We are therefore carrying on with the event in a hybrid form, </div><div>as planned. We invite those who are willing,<br>and have proof of recovery and/or vaccination, </div><div>to participate in person.</div><div><br></div><div>However, each country is imposing its own new travel restrictions.</div><div>So please check your own country's regulations before booking.<br><br>At the moment, for the UK, EU, and Schengen countries, proof of<br>vaccination or recovery, and filling out a passenger locator form,<br>is sufficient to enter Estonia. You do not need to get tested or</div><div>isolate if you fulfill these requirements. Please consult the government</div><div>web page for the latest regulations:</div><div><a href="https://urldefense.com/v3/__https://vm.ee/en/information-countries-and-self-isolation-requirements-passengers__;!!IBzWLUs!ArC6yKd-bKyeUi1kcUpC3hzY15fYQ2sZFTtyVy8rgf9wF4RSimzNhzMrdvWnME0Jr3HvNlVV-30-dQ$" target="_blank">https://vm.ee/en/information-countries-and-self-isolation-requirements-passengers</a><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<div class="gmail-yj6qo"></div><div class="gmail-adL"><br></div></div></div></div></div></div>