[TYPES/announce] SYCO 9 - Call for participation

Elena Di Lavore elenatalita at gmail.com
Wed Aug 17 08:50:10 EDT 2022


--------------------------------------------------------
CALL FOR PARTICIPATION
NINTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 9)

In person at University of Insubria, Como, Italy
8-9 September 2022

Registration deadline: 1 September 2022 (AoE)

It is possible to attend online, but not to present online.
Please register even when attending online.

https://urldefense.com/v3/__https://www.cl.cam.ac.uk/events/syco/9/__;!!IBzWLUs!XJ4KqHBgbd3D9ICChy2iWPDl0hiLW_hNrAxhOi5-C8qhD11HP14ZkLtkfmfMI7S3rZmii-YFNhrI6iyI9IID8GeY2Bu0TVDKj-0$  
--------------------------------------------------------

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,
University of Leicester and Tallinn University of Technology.

The programme consists of 2 invited talks and 14 contributed talks.

--------------------------------------------------------
INVITED TALKS

* Robert Furber (University of Edinburgh)
    - TBA

* Olivia Caramello (University of Insubria)
    - Relative toposes as a generalization of locales

--------------------------------------------------------
CONTRIBUTED TALKS
Full schedule available at https://urldefense.com/v3/__https://www.cl.cam.ac.uk/events/syco/9/__;!!IBzWLUs!XJ4KqHBgbd3D9ICChy2iWPDl0hiLW_hNrAxhOi5-C8qhD11HP14ZkLtkfmfMI7S3rZmii-YFNhrI6iyI9IID8GeY2Bu0TVDKj-0$  

* Jakob von Raumer
  -  String Diagrams for Strings and Rings
* Matthew Earnshaw and Paweł Sobociński
  - Regular Monoidal Languages
* Paolo Perrone
  - Lifting weights: enriched lenses between transport plans
* Simona Paoli
  - Weak Globularity: a New Paradigm to Weaken Higher Categorical Structures
* Jade Master
  - How to Compose Shortest Paths
* Malin Altenmüller and Ross Duncan
  - A Category of Plane Graphs
* Sebastian Stengele, Tobias Reinhart, Tomáš Gonda and Gemma De Las Cuevas
  - A Framework for Universality Across Disciplines
* Morgan Rogers
  - Continuous monoid homomorphisms and geometric morphisms
* Calin Tataru
  - Cubicalisation: an algorithm for generating cubical meshes from
homotopy.io diagrams
* Niels Voorneveld
  - Cylinder Diagrams: Visualizing Multi-Parameter Natural Transformations
* Mattia G. Bergomi and Pietro Vertechi
  - Neural network layers as parametric spans
* Nathanael Arkor
  - Relative monads and their many guises
* Lia Yeh
  - Conversation Logic: The Interplay of Negation, Conjunction,
Disjunction, and Lexical Entailment
* Dylan Braithwaite and Jules Hedges
  - Dependent Bayesian Lenses: Categories of Bidirectional Markov
Kernels with Canonical Bayesian Inversion

--------------------------------------------------------
REGISTRATION

Registration is open until the 1st of September, 2022.
You can register for either the in person meeting or
for the online event.

Please register via:
https://urldefense.com/v3/__https://forms.gle/NURaeCEVsfpfZTJp9__;!!IBzWLUs!XJ4KqHBgbd3D9ICChy2iWPDl0hiLW_hNrAxhOi5-C8qhD11HP14ZkLtkfmfMI7S3rZmii-YFNhrI6iyI9IID8GeY2Bu0GOhX-bo$  
Registration is free.

More details are available on the conference website:
https://urldefense.com/v3/__https://www.cl.cam.ac.uk/events/syco/9/__;!!IBzWLUs!XJ4KqHBgbd3D9ICChy2iWPDl0hiLW_hNrAxhOi5-C8qhD11HP14ZkLtkfmfMI7S3rZmii-YFNhrI6iyI9IID8GeY2Bu0TVDKj-0$  

--------------------------------------------------------
COVID-19 SITUATION IN ITALY

It is mandatory to wear FFP2 masks on all public transport in Italy.
It is strongly recommended to wear them in all public places,
including the university.

At the moment, there are no restrictions for entering Italy.
More information at
https://urldefense.com/v3/__https://www.viaggiaresicuri.it/approfondimenti-insights/saluteinviaggio__;!!IBzWLUs!XJ4KqHBgbd3D9ICChy2iWPDl0hiLW_hNrAxhOi5-C8qhD11HP14ZkLtkfmfMI7S3rZmii-YFNhrI6iyI9IID8GeY2Bu0OnIGvoM$  
(only in Italian).

--------------------------------------------------------
PROGRAMME COMMITTEE

Robin Cockett, University of Calgary
Elena Di Lavore, Tallinn University of Technology
Ross Duncan, University of Strathclyde
Robert Furber, University of Edinburgh
Amar Hadzihasanovic, Tallinn University of Technology
Chris Heunen, University of Edinburgh
Alex Kissinger, University of Oxford
Martha Lewis, University of Bristol
Jade Master, University of Strathclyde
Konstantinos Meichanetzidis, Quantinuum
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
John van de Wetering, Radboud University (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


More information about the Types-announce mailing list