----------------------------------------- CALL FOR PARTICIPATION ELEVENTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 11) Palaiseau, France 20-21 April, 2023 Registration deadline: Monday 10 April 2023 https://www.cl.cam.ac.uk/events/syco/11/ ----------------------------------------- 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://forms.gle/WuhKZiJnV2RAcJWf6 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://www.cl.cam.ac.uk/events/syco/11/ - 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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]