SYCO 8 - Final Call for Participation

SYCO 8 - Final Call for Participation

[Maaike Zwart]

--------------------------------------------------------
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-8zAqwwalYzpSgVtfKgfjkptA/viewform
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-passengers

--------------------------------------------------------
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/ ]