[TYPES/announce] SYCO 8 - Call for Participation

[Maaike Zwart]

--------------------------------------------------------
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://urldefense.com/v3/__https://www.cl.cam.ac.uk/events/syco/8/__;!!IBzWLUs!BVohDgoWGzYuiOxY-CJhmCgOvEVqGKBZgbHTUZ6xHqLY73GWSAxz20zANAgNx_ZubP7KrSfV6q4c5w$ 
--------------------------------------------------------

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 Université)
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://urldefense.com/v3/__https://docs.google.com/forms/d/e/1FAIpQLSfAgcQnimYJPM2msBraTU_0k-8zAqwwalYzpSgVtfKgfjkptA/viewform__;!!IBzWLUs!BVohDgoWGzYuiOxY-CJhmCgOvEVqGKBZgbHTUZ6xHqLY73GWSAxz20zANAgNx_ZubP7KrSdod8NZvA$ 
Registration is free.
More details are available on the conference website:
https://urldefense.com/v3/__https://www.cl.cam.ac.uk/events/syco/8/__;!!IBzWLUs!BVohDgoWGzYuiOxY-CJhmCgOvEVqGKBZgbHTUZ6xHqLY73GWSAxz20zANAgNx_ZubP7KrSfV6q4c5w$ 

--------------------------------------------------------
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://urldefense.com/v3/__https://vm.ee/en/information-countries-and-self-isolation-requirements-passengers__;!!IBzWLUs!BVohDgoWGzYuiOxY-CJhmCgOvEVqGKBZgbHTUZ6xHqLY73GWSAxz20zANAgNx_ZubP7KrSeG361lXw$ 

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, CentraleSupélec
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, École 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20211108/4ff8fa3a/attachment-0001.htm>