categories: SYCO 11 - Call for participation

categories: 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://www.cl.cam.ac.uk/events/syco/11/
-----------------------------------------

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://forms.gle/WuhKZiJnV2RAcJWf6

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://www.cl.cam.ac.uk/events/syco/11/

- 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



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]