Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] SYCO 9 - Call for participation
@ 2022-08-17 12:48 Elena Di Lavore
  0 siblings, 0 replies; only message in thread
From: Elena Di Lavore @ 2022-08-17 12:48 UTC (permalink / raw)
  To: homotopytypetheory


In person at University of Insubria, Como, Italy
8-9 September 2022

Registration deadline: 1 September 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 and Tallinn University of Technology.

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


* Robert Furber (University of Edinburgh)
    - TBA

* Olivia Caramello (University of Insubria)
    - Relative toposes as a generalization of locales

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

* Jakob von Raumer
  -  String Diagrams for Strings and Rings
* Matthew Earnshaw and Paweł Sobociński
  - Regular Monoidal Languages
* Paolo Perrone
  - Lifting weights: enriched lenses between transport plans
* Simona Paoli
  - Weak Globularity: a New Paradigm to Weaken Higher Categorical Structures
* Jade Master
  - How to Compose Shortest Paths
* Malin Altenmüller and Ross Duncan
  - A Category of Plane Graphs
* Sebastian Stengele, Tobias Reinhart, Tomáš Gonda and Gemma De Las Cuevas
  - A Framework for Universality Across Disciplines
* Morgan Rogers
  - Continuous monoid homomorphisms and geometric morphisms
* Calin Tataru
  - Cubicalisation: an algorithm for generating cubical meshes from
homotopy.io diagrams
* Niels Voorneveld
  - Cylinder Diagrams: Visualizing Multi-Parameter Natural Transformations
* Mattia G. Bergomi and Pietro Vertechi
  - Neural network layers as parametric spans
* Nathanael Arkor
  - Relative monads and their many guises
* Lia Yeh
  - Conversation Logic: The Interplay of Negation, Conjunction,
Disjunction, and Lexical Entailment
* Dylan Braithwaite and Jules Hedges
  - Dependent Bayesian Lenses: Categories of Bidirectional Markov
Kernels with Canonical Bayesian Inversion


Registration is open until the 1st of September, 2022.
You can register for either the in person meeting or
for the online event.

Please register via:
Registration is free.

More details are available on the conference website:


It is mandatory to wear FFP2 masks on all public transport in Italy.
It is strongly recommended to wear them in all public places,
including the university.

At the moment, there are no restrictions for entering Italy.
More information at
(only in Italian).

Robin Cockett, University of Calgary
Elena Di Lavore, Tallinn University of Technology
Ross Duncan, University of Strathclyde
Robert Furber, University of Edinburgh
Amar Hadzihasanovic, Tallinn University of Technology
Chris Heunen, University of Edinburgh
Alex Kissinger, University of Oxford
Martha Lewis, University of Bristol
Jade Master, University of Strathclyde
Konstantinos Meichanetzidis, Quantinuum
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
John van de Wetering, Radboud University (chair)


Ross Duncan, University of Strathclyde
Chris Heunen, University of Edinburgh
Dominic Horsman, University of Grenoble
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 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/CAEiDNXWmdvZB_XAe-5v6gB_HWBQp_jF6tPxBYxbFD2tmArJKUA%40mail.gmail.com.

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

only message in thread, other threads:[~2022-08-17 13:40 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-08-17 12:48 [HoTT] SYCO 9 - Call for participation Elena Di Lavore

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).