[TYPES/announce] SYCO 10: Call for Participation

Chris Heunen Chris.Heunen at ed.ac.uk
Tue Nov 22 12:22:09 EST 2022


--------------------------------------------------------
CALL FOR PARTICIPATION
TENTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 10)

In person at the University of Edinburgh, UK
19-20 December 2022

Registration deadline: 11 December 2022 (AoE)

It is possible to attend online, but not to present online.
Please register even when attending online.

https://urldefense.com/v3/__https://www.cl.cam.ac.uk/events/syco/10__;!!IBzWLUs!X7witIkpD0mAih_1aY9fcjL6BQRDGlD5Shlj9RfIAuHBGKolXgotY-iDpvfqGh6kE1pWTF9VLp39sG7onb56N6xhTZPLAy748I6GNg$ 
--------------------------------------------------------

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 at University of Birmingham,
University of Strathclyde, University of Oxford, Chapman University,
University of Leicester, Tallinn University of Technology, and
University of Insubria.

The programme consists of 2 invited talks and 18 contributed talks.

--------------------------------------------------------
INVITED TALKS

* John Baez (University of California Riverside)
* Emily Roff (University of Edinburgh)

--------------------------------------------------------
CONTRIBUTED TALKS
Full schedule available at https://urldefense.com/v3/__https://www.cl.cam.ac.uk/events/syco/10__;!!IBzWLUs!X7witIkpD0mAih_1aY9fcjL6BQRDGlD5Shlj9RfIAuHBGKolXgotY-iDpvfqGh6kE1pWTF9VLp39sG7onb56N6xhTZPLAy748I6GNg$ 

* Clémence Chanavat: Cubical Type Theory Inside a Presheaf Topos
* Jade Edenstar Master, Benjamin Merlin Bumpus, Zoltan A. Kocsis: Structured Decompositions: Structural and Algorithmic Compositionality
* Jade Edenstar Master: How to Compose Shortest Paths
* Makoto Hamana: Complete Algebraic Semantics for Second-Order Rewriting Systems based on Abstract Syntax with Variable Binding
* Peter Hines: On coherence for Stoic conjunction
* Satoshi Kura: On the Relationship Between Weakest Precondition Transformers and CPS Transformations
* Louis Lemonnier, Vladimir Zamdzhiev, Titouan Carette: Central Submonads and Notions of Computation
* Leo Lobski: Quantum quirks, classical contexts: Towards a Bohrification of effect algebras
* Edward Morehouse: Locally Cubical Gray-Categories
* Giti Omidvar, Lutz Strassburger: The Composition of Combinatorial Flows
* Alex Rice, Jamie Vicary, Eric Finster: A Type Theory for Strictly Associative Infinity Categories
* Richard Statman: Cayley Monoids
* Calin Tataru: A layout algorithm for higher-dimensional string diagrams
* Ana Luiza Tenorio, Hugo Luiz Mariano, Peter Arndt: Non-topos sheaf on non-unital monoidal categories
* Jamie Vicary: Exact dynamics in dual-unitary quantum circuits with projective measurements
* Vincent Wang: Foam, data structures, and games
* Carlos Zapata-Carratala: What is n-ary associativity? A Proposal of Higher-Arity Categories

--------------------------------------------------------
REGISTRATION

Registration is open until the 11th of December, 2022.
You can register for either the in person meeting or
for the online event. Registration is free. Please register via:
https://urldefense.com/v3/__https://forms.gle/RQeSe2zcndXghwhM6__;!!IBzWLUs!X7witIkpD0mAih_1aY9fcjL6BQRDGlD5Shlj9RfIAuHBGKolXgotY-iDpvfqGh6kE1pWTF9VLp39sG7onb56N6xhTZPLAy4RNx57Lw$ 

More details are available on the conference website:
https://urldefense.com/v3/__https://www.cl.cam.ac.uk/events/syco/10__;!!IBzWLUs!X7witIkpD0mAih_1aY9fcjL6BQRDGlD5Shlj9RfIAuHBGKolXgotY-iDpvfqGh6kE1pWTF9VLp39sG7onb56N6xhTZPLAy748I6GNg$ 

--------------------------------------------------------
PROGRAMME COMMITTEE

Robin Cockett, University of Calgary
Carmen Constantin, University of Edinburgh
Ross Duncan, University of Strathclyde
Chris Heunen, University of Edinburgh
Robin Kaarsgaard, University of Edinburgh (chair)
Marie Kerjean, Université Paris 13
Aleks Kissinger, University of Oxford
Dan Marsden, University of Nottingham
Jade Master, University of Strathclyde
Samuel Mimram, École Polytechnique
Jean-Simon Pacaud Lemay, Kyoto University
Simona Paoli, University of Aberdeen
Mathys Rennela, INRIA Paris
Mehrnoosh Sadrzadeh, University College London
Pawel Sobocinski, Tallinn University of Technology
Tarmo Uustalu, Reykjavik University
Niccolò Veltri, Tallinn University of Technology
Jamie Vicary, University of Cambridge
Maaike Zwart, IT University of Copenhagen

--------------------------------------------------------------
STEERING COMMITTEE

Ross Duncan, University of Strathclyde
Chris Heunen, University of Edinburgh
Dominic Horsman, University of Grenoble
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
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.


More information about the Types-announce mailing list