-----------------------------------------
CALL FOR PARTICIPATION
TWELFTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 12)
Birmingham, UK
15-16 April, 2024
Registration deadline: Wednesday 03 April 2024
-----------------------------------------
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, Edinburgh and Palaiseau.
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 Wednesday 03 April 2024 at
Registration is free and required even if you plan to follow the event online.
INVITED SPEAKERS
================
The invited speakers are
- Miriam Backens (INRIA Nancy):
Graphical rewriting of quantum computations using the ZX-calculus and flow properties
- Sean Moss (University of Birmingham):
The Markov category of a random graph
CONTRIBUTED TALKS
=================
- Tanguy Massacrier, Philippe Malbos, Georg Struth
Single-set cubical categories and their formalisation with a proof assistant
- Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski
Diagrammatic Algebra of First Order Logic
- Aziz Kharoof
Homotopical characterization of strong contextuality
- Pablo Donato
The Flower Calculus
- Flavien Breuvart, Quan Long, Vladimir Zamdzhiev
On the Centre of Strong Graded Monads
- Grégoire Sergeant-Perthuis
Compositional statistical mechanics, entropy and variational inference
- Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary
homotopy.io: a proof assistant for finitely-presented globular n-categories
- Aloïs Rosset, Maaike Zwart, Helle Hvid Hansen, Jörg Endrullis
Correspondence between Composite Theories and Distributive Laws
- Adrián Doña Mateo
Pushing monads forward
- Joshua Wrigley
A topos-theoretic framework for reconstruction theorems in model theory
- David Forsman
Monoidal Meta-Theorem
- Paul B Levy
Game-enriched categories
- Bruno Gavranović, Paul Lessard, Andrew Joseph Dudzik, Tamara von Glehn, João Guilherme Madeira Araújo, Petar Veličković
Categorical Deep Learning: An Algebraic Theory of Architectures
- Alexei Lisitsa, Andrew Fish
Automated Reasoning for Tangles with Quantum Verification Applications
PROGRAM COMMITTEE
=================
Todd Ambridge, University of Birmingham
Thibaut Benjamin, University of Cambridge (Chair)
Olivia Caramello, Univserity of Insubria, Université Paris-Saclay
Ross Duncan, University of Strathclyde
Chris Heunen, University of Edinburgh
Dominic Horsman, University of Grenoble
George Kaye, University of Birmingham
Aleks Kissinger, University of Oxford
Jean-Simon Lemay, Macquarie University
Paul Levy, University of Birmingham
Ioannis Markakis, University of Cambridge
Samuel Mimram, Ecole Polytechnique
Paige North, Utrecht University
Simona Paoli, University of Aberdeen
Daniela Petrisan, Université Paris Cité
Morgan Rogers, Université Sorbonne Paris Nord
Mehrnoosh Sadrzadeh, University College London
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, Ecole Polytechnique
Simona Paoli, University of Aberdeen
Mehrnoosh Sadrzadeh, University College London
Pawel Sobocinski, Tallinn University of Technology
Jamie Vicary, University of Cambridge