SYCO 13 - Call for Participation

SYCO 13 - Call for Participation

[Piedeleu, Robin]

[-- Attachment #1: Type: text/plain, Size: 5118 bytes --]

CALL FOR PARTICIPATION
THIRTEENTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 13)

London, United Kingdom
24-25 April, 2025

Registration deadline: Saturday 12 April 2025 (AoE)

https://www.cl.cam.ac.uk/events/syco/13/<https://url.au.m.mimecastprotect.com/s/6XdKC1WLjwsM86M81TLf0cV7TSu?domain=cl.cam.ac.uk/>

-----------------------------------------

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 two invited talks and fourteen contributed talks. The
symposium will take place at University College London. We will also try to offer the
possibility of following the talks online.

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

Open until Saturday 12 April 2025 (AoE). Please fill in the following form:

https://forms.gle/aLrUZr6vfh8kWQdd6<https://url.au.m.mimecastprotect.com/s/KIKyC2xMRkUp7Vp7vf1hnc5xVKg?domain=forms.gle>

Registration is free and required (even if you plan to attend the event online).

INVITED TALKS
============


  *
Elena Di Lavore (University di Pisa)
Partial Markov categories
  *
Martti Karvonen (University College London)
What’s going on with categorical composable cryptography?

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


  *
Mika Bohinen and Paolo Perrone
Categorical algebra of conditional probability
  *
Clémence Chanavat and Amar Hadzihasanovic
Diagrammatic (∞,n)-categories
  *
Chris Purdy and Stefania Damato
Distributive Laws of Monadic Containers
  *
Fatimah Rita Ahmadi
Typing Tensor Calculus in 2-Categories (I)
  *
Jake Araujo-Simon
Compositional Nonlinear (Audio) Signal Processing with Volterra Series
  *
Thea Li
The Category of Finite Dimensional Operator Spaces
  *
Nick Hu, Alex Rice, Calin Tataru and Dan Ghica
sd-visualiser: interactive hypergraph visualisation for programs as string diagrams
  *
Max Demirdilek and Christoph Schweigert
Surface Diagrams for Frobenius Algebras and Frobenius-Schur Indicators in Grothendieck-Verdier Categories
  *
Thibaut Benjamin, Ioannis Markakis, Wilfred Offord, Chiara Sarti and Jamie Vicary
Naturality for higher-dimensional path types
  *
Filippo Bonchi, Cipriano Junior Cioffo, Alessandro Di Giorgio, Elena Di Lavore
Tape Diagrams for Monoidal Monads
  *
Razin Shaikh, Lia Yeh and Stefano Gogioso
The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum Computation
  *
Muhammad Hamza Waseem, Caterina Puca, Lia Yeh, Selma Dündar-Coecke, Bob Coecke, Aleks Kissinger, Stefano Gogioso, Sieglinde Pfaendler and Thomas Cervoni
Teaching Quantum Theory with a Compositional Lens: Experimental Evidence Supporting the Effectiveness of Quantum Picturalism
  *
Morgan Rogers
Building models from finite pieces
  *
Tiffany Duneau
A Compositional Approach to Reading Comprehension Tasks Using the DisCoCirc Natural Language Processing Framework.


PROGRAMME COMMITTEE
=====================

Mina Abbaszadeh, University College London (Chair)
Robin Piedeleu, University College London (Chair)
Tai-Danae Bradley, Sandbox AQ and The Master's University
Corina Cirstea, University of Southampton
Chris Heunen, University of Edinburgh
Aleks Kissinger, University of Oxford
Jean-Simon Pacaud Lemay, Macquarie University
Martha Lewis, University of Amsterdam
Jade Master, Glasgow Lab for AI Verification
Samuel Mimram, École Polytechnique
Koko Muroya, National Institute of Informatics
Paolo Perrone, University of Oxford
Morgan Rogers, University of Sorbonne Paris Nord
Mehrnoosh Sadrzadeh, University College London
Pawel Sobocinski, Tallinn University of Technology
Christina Vasilakopoulou, National Technical University of Athens
Maaike Zwart, IT University of Copenhagen


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



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 28332 bytes --]