[TYPES/announce] Call for Participation, First Symposium on Compositional Structures (SYCO 1)

[Jamie Vicary]

FIRST SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO I)
               CALL FOR PARTICIPATION

School of Computer Science, University of Birmingham
               20-21 September, 2018

     http://www.cs.bham.ac.uk/~vicaryjo/syco/1/

The Symposium on Compositional Structures is a new 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. We welcome
submissions from researchers across computer science, mathematics,
physics, philosophy, and beyond, with the aim of fostering friendly
discussion, disseminating new ideas, and spreading knowledge between
fields. Submission is encouraged for both mature research and work in
progress, and by both established academics and junior researchers,
including students.

This new 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".

# INVITED SPEAKERS

David Corfield, Department of Philosophy, University of Kent: "The
ubiquity of modal type theory"
Jules Hedges, Department of Computer Science, University of Oxford:
"Compositional game theory"

# REGISTRATION AND LOCAL INFORMATION

There is no registration fee. To register, send an email to
j.o.vicary at bham.ac.uk with subject line "SYCO 1 registration",
indicating in the body of the email the name and affiliation to put on
your name badge. Full local information is available at the conference
web site http://events.cs.bham.ac.uk/syco/1/.

# PROGRAMME

THURSDAY 20 SEPTEMBER

1100-1130. REGISTRATION
1130-1230. David Corfield, "The ubiquity of modal type theory" (invited talk)
1230-1300. Kohei Kishida, "An allegorical semantics of modal logic"
1300-1400. LUNCH
1400-1430. Joe Moeller, "Noncommutative network models"
1430-1500. Paolo Perrone and Tobias Fritz, "Monads, partial
evaluations, and rewriting"
1500-1530.  Aaron Sloman, "Biologically evolved forms of compositionality"
1530-1600. BREAK
1600-1630. Benjamin Musto, David Reutter and Dominic Verdon, "A
compositional approach to quantum functions"
1630-1700. Robin Kaarsgaard and Robert Glück, "Reversibility as a
compositional phenomenon"
1700-1730.  Ross Duncan, Cambridge Quantum Computing industry
presentation (not peer reviewed)
1730-onwards. DRINKS RECEPTION

FRIDAY 21 SEPTEMBER

0930-1030. Jules Hedges, "Compositional game theory" (invited talk)
1030-1100. Filippo Bonchi, Jens Seeber and Pawel Sobocinski,
"Graphical conjunctive queries"
1100-1130. BREAK
1130-1200. Lukas Heidemann, "Visualization and verification of
geometrical proofs"
1200-1230. Exequiel Rivas, "Relating idioms, arrows and monads from
monoidal adjunctions"
1230-1300. Apiwat Chantawibul and Pawel Sobocinski, "Monoidal multiplexing"
1300-1400. LUNCH
1400-1430. Michael Stay and Lucius Gregory Meredith, "How to derive a
type system from a term calculus, a collection, and a distributive
law"
1430-1500. Brendan Fong, David Spivak and Remy Tuyeras, "Backprop as
functor: a compositional perspective on supervised learning"
1500-1530. Robin Cockett, Cole Comfort and Priyaa Srinivasan, "Dagger
mix categories"
1530-1600. BREAK
1600-1630. Andre Kornell, "Quantum sets"
1630-1700. Simon Willerton, "The Legendre-Fenchel transform from a
category theoretic perspective"
1700-1730. Tarmo Uustalu, "Container combinatorics: monads and more"

 # STEERING COMMITTEE

The symposium managed by the following people, who also serve as the
programme committee.

 - Ross Duncan, University of Strathclyde
 - Chris Heunen, University of Edinburgh
 - Aleks Kissinger, Radboud University Nijmegen
 - Samuel Mimram, École Polytechnique
 - Simona Paoli, University of Leicester
 - Mehrnoosh Sadrzadeh, Queen Mary, University of London
 - Pawel Sobocinski, University of Southampton
 - Jamie Vicary, University of Birmingham and University of Oxford
(local organizer)