[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
-----------------------------------------
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
