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/ ----------------------------------------- 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 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>