Discussion of Homotopy Type Theory and Univalent Foundations
 help / Atom feed
From: Kohei Kishida <kishidakohei@gmail.com>
To: Homotopy Type Theory <HomotopyTypeTheory@googlegroups.com>
Subject: [HoTT] SYCO 4: call for participation
Date: Thu, 9 May 2019 08:03:48 -0700 (PDT)
Message-ID: <25e1ba0a-d216-40dd-b78a-7d4c6dd896ef@googlegroups.com> (raw)

[-- Attachment #1.1: Type: text/plain, Size: 4743 bytes --]


Chapman University, California, USA
    22-23 May, 2019


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.
The first SYCO was in September 2018, at the University of Birmingham.
The second SYCO was in December 2018, at the University of Strathclyde.
The third SYCO was in March 2019, at the University of Oxford. Each
meeting attracted about 70 participants.

The fourth SYCO will be in Chapman University, California, and we have
15 papers accepted for presentation, ranging over theory and practice
of category theory, from homotopy type theory to differential
programming, to rewriting systems, and to machine learning.

Indeed the SYCO series aims to bring together the communities behind
many previous successful events which have taken place over the last
decade, including "Categories, Logic and Physics", "Categories, Logic
and Physics (Scotland)", "Higher-Dimensional Rewriting and
Applications", "String Diagrams in Computation, Logic and Physics",
"Applied Category Theory", "Simons Workshop on Compositionality", and
the "Peripatetic Seminar in Sheaves and Logic".


John Baez, University of California, Riverside
Tobias Fritz, Perimeter Institute for Theoretical Physics
Nina Otter, University of California, Los Angeles

• Samuel Balco and Alexander Kurz, Nominal String Diagrams
• Harsh Beohar and Sebastian Küpper, Bisimulation Maps in Presheaf 
• Owen Biesel, Duality for Algebras of the Connected Planar Wiring Diagrams 
• Daniel Cicala, Rewriting Structured Cospans
• Cole Comfort, Circuit Relations for Real Stabilizers: Towards TOF+H
• Kenny Courser and John Baez, Structured Cospans
• Jonathan Gallagher, Benjamin MacAdam and Geoff Cruttwell, Towards 
Formalizing and Extending Differential Programming via Tangent Categories
• Kohei Kishida, Soroush Rafiee Rad, Joshua Sack and Shengyang Zhong, 
Categorical Equivalence between Orthocomplemented Quantales and Complete 
Orthomodular Lattices
• Benjamin MacAdam, Jonathan Gallagher and Rory Lucyshyn-Wright, Scalars in 
Tangent Categories
• Jade Master, Generalized Petri Nets
• Joe Moeller and Christina Vasilakopoulou, Monoidal Grothendieck 
• Jeffrey Morton, 2-Group Actions and Double Categories
• Michael Shulman, All (∞,1)-Toposes Have Strict Univalent Universes
• David Sprunger and Shin-Ya Katsumata, Differential Categories, Recurrent 
Neural networks, and Machine learning
• Christian Williams and John Baez, Enriched Lawvere Theories for 
Operational Semantics


Please register as soon as possible so that catering can be arranged.



Miriam Backens, University of Oxford
Ross Duncan, University of Strathclyde and Cambridge Quantum Computing
Brendan Fong, Massachusetts Institute of Technology
Tobias Fritz, Perimeter Institute for Theoretical Physics
Stefano Gogioso, University of Oxford
Amar Hadzihasanovic, Kyoto University
Chris Heunen, University of Edinburgh
Dominic Horsman, University of Grenoble
Martti Karvonen, University of Edinburgh
Kohei Kishida, Dalhousie University (chair)
Andre Kornell, University of California, Davis
Alexander Kurz, Chapman University
Martha Lewis, University of Amsterdam
Samuel Mimram, École Polytechnique
Benjamin Musto, University of Oxford
Nina Otter, University of California, Los Angeles
Simona Paoli, University of Leicester
Dorette Pronk, Dalhousie University
Mehrnoosh Sadrzadeh, Queen Mary
Pawel Sobocinski, University of Southampton
Joshua Tan, University of Oxford
Sean Tull, University of Oxford
Dominic Verdon, University of Bristol
Jamie Vicary, University of Birmingham and University of Oxford
Maaike Zwart, University of Oxford

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/25e1ba0a-d216-40dd-b78a-7d4c6dd896ef%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[-- Attachment #1.2: Type: text/html, Size: 5978 bytes --]

             reply index

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-05-09 15:03 Kohei Kishida [this message]
2019-05-09 15:06 ` [HoTT] " Kohei Kishida

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=25e1ba0a-d216-40dd-b78a-7d4c6dd896ef@googlegroups.com \
    --to=kishidakohei@gmail.com \
    --cc=HomotopyTypeTheory@googlegroups.com \


* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

Discussion of Homotopy Type Theory and Univalent Foundations

Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott

Newsgroup available over NNTP:

AGPL code for this site: git clone https://public-inbox.org/ public-inbox