----------------------------------------- CALL FOR PARTICIPATION TWELFTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 12) Birmingham, UK 15-16 April, 2024 Registration deadline: Wednesday 03 April 2024 https://www.cl.cam.ac.uk/events/syco/12/ ----------------------------------------- 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 https://forms.gle/XxKEssgXiYSo4TUZ8 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 ================= The full schedule is available at https://www.cl.cam.ac.uk/events/syco/12/ - 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 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>