[TYPES/announce] SYCO 11 - Call for participation

[Samuel Mimram]

-----------------------------------------
CALL FOR PARTICIPATION
ELEVENTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 11)

Palaiseau, France
20-21 April, 2023

Registration deadline: Monday 10 April 2023

https://urldefense.com/v3/__https://www.cl.cam.ac.uk/events/syco/11/__;!!IBzWLUs!Wy6tYUzap13pM_WaGlp8h32DnKjgKwmdTtoQ91xbbD8Ey-vmiHra4miv7uW_74OY-ZWJAqH7bIMzBWq6uMRb3vrIHe433awaT5GkoBbucbsJgFsjzUo$ 
-----------------------------------------

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 in Birmingham, Strathclyde,
Oxford, Chapman, Leicester, Tallinn, Como and Edinburgh.

The program consists of 2 invited talks and 14 contributed talks. We will try to
offer the possibility of following the talks online.

REGISTRATION
============

Registration is open until Monday 10 April 2023 at

https://urldefense.com/v3/__https://forms.gle/WuhKZiJnV2RAcJWf6__;!!IBzWLUs!Wy6tYUzap13pM_WaGlp8h32DnKjgKwmdTtoQ91xbbD8Ey-vmiHra4miv7uW_74OY-ZWJAqH7bIMzBWq6uMRb3vrIHe433awaT5GkoBbucbsJIrwLyYo$ 

Registration is free and required even if you plan to follow the event online.

INVITED SPEAKERS
================

The invited speakers are

- Daniela Petrisan (IRIF, Université de Paris):
   TBA
- Morgan Rogers (LIPN, Université de Paris 13):
   _Automorphisms of models: yet another categorification of model theory_

CONTRIBUTED TALKS
=================

The full schedule is available at https://urldefense.com/v3/__https://www.cl.cam.ac.uk/events/syco/11/__;!!IBzWLUs!Wy6tYUzap13pM_WaGlp8h32DnKjgKwmdTtoQ91xbbD8Ey-vmiHra4miv7uW_74OY-ZWJAqH7bIMzBWq6uMRb3vrIHe433awaT5GkoBbucbsJgFsjzUo$ 

- Damiano Mazza:
   _A Categorical Approach to Descriptive Complexity Theory_
- Mikołaj Bojańczyk, Le Thanh Dung Nguyen:
   _Algebraic Recognition of Regular Functions_
- Sam van Gool, Paul-André Melliès, Vincent Moreau:
   _Profinite lambda-terms and parametricity_
- Victoria Vollmer, Daniel Marshall, Harley Eades, Dominic Orchard
   _A Mixed Linear and Graded Logic_
- Uli Fahrenberg:
   _2-Categories with Lax Tensors, With a Motivation from Concurrency Theory_
- Simon Burton
   _String diagrams for higher mathematics with wiggle.py_
- Aziz Kharoof, Cihan Okay
   _Simplicial distributions, convex categories and contextuality_
- Joshua Wrigley:
   _The geometric and sub-geometric completions of doctrines_
- Hugo Paquet, Philip Saville:
   _Strong Pseudomonads and Premonoidal Bicategories_
- Matthew Di Meglio, Bryce Clarke:
   _An introduction to enriched cofunctors_
- Tobias Schmude, Benedikt Ahrens, Paige Randall North, Eric Finster, Nick Gurski:
   _Lax Functors of Opetopic Categories: Classifying Higher Functors via Spans 
and Profunctors_
- Matthew Sutcliffe:
   _Near-linear-time sampling of parameters in quantum circuits via 
implementation of symbolic phases into PyZX_
- Kostia Chardonnet, Benoit Valiron, Renaud Vilmart:
   _Geometry of Interaction for ZX-Diagrams_
- Boldizsár Poór, Quanlong Wang, Razin A. Shaikh, Lia Yeh, Richie Yeung, Bob Coecke:
   _Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying 
calculus_

PROGRAM COMMITTEE
=================

Nathanael Arkor, Masaryk University
Bryce Clarke, Inria Saclay (chair)
Ross Duncan, University of Strathclyde
Chris Heunen, University of Edinburgh
Soichiro Fujii, Macquarie University
Zeinab Galal, Sorbonne University
Dominic Horsman, University of Grenoble
Samuel Mimram, École Polytechnique
Paige Randall North, Utrecht University
Jean-Simon Pacaud Lemay, Kyoto University
Sophie Raynor, James Cook University
Mehrnoosh Sadrzadeh, University College London
Maru Sarazola, Johns Hopkins University
Pawel Sobocinski, Tallinn University of Technology
Jamie Vicary, University of Cambridge

STEERING COMMITTEE
==================

Ross Duncan, University of Strathclyde
Chris Heunen, University of Edinburgh
Dominic Horsman, University of Oxford
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