Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] SYCO 10: Call for Participation
@ 2022-11-22 17:19 Chris Heunen
  0 siblings, 0 replies; only message in thread
From: Chris Heunen @ 2022-11-22 17:19 UTC (permalink / raw)
  To: homotopytypetheory


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.


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.


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

Full schedule available at https://www.cl.cam.ac.uk/events/syco/10

* 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 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:

More details are available on the conference website:


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


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

You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CANPvKnwpPacrkmZg9y%3DYeaiRYUeCeKMV%3DLRhJxi62Ekrg2RucA%40mail.gmail.com.

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2022-11-22 17:19 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-11-22 17:19 [HoTT] SYCO 10: Call for Participation Chris Heunen

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).