SYCO 3 - Final Call For Participation

SYCO 3 - Final Call For Participation

[JS Pacaud Lemay]

[Apologies to those of you who have received multiple copies of this email]

THIRD SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 3)
Second Call For Participation

University of Oxford
27-28 March, 2019
http://events.cs.bham.ac.uk/syco/3/

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 2019, at the University of Strathclyde,
each attracting about 70 people.

The third SYCO will be in Oxford and we have 15 accepted papers ranging
over theory and practice of
category theory, from homotopy type theory to computational monads, to
quantum resources, machine learning and  linguistics.

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

# INVITED SPEAKERS

Marie Kerjean, INRIA Bretagne Atlantique
Alessandra Palmigiano, Delft University of Technology and University of
Johannesburg

# ACCEPTED  PAPERS
• Chase Bednarz, Occlusion Operads for Image Segmentation
• Lukas Heidemann, Nick Hu and Jamie Vicary, Introducing homotopy.io
• Tai-Danae Bradley, Martha Lewis, Jade Master and Bradley
Theilman, Translating and Evolving: Towards a Model of Language Change in
DisCoCat
• Martha Lewis, Compositionality for Recursive Neural Networks
• Fosco Loregian and Ivan Di Liberti, On the unicity of formal category
theories
• Samson Abramsky, Rui Soares Barbosa, Martti Karvonen and Shane
Mansfield, A comonadic view of simulation and quantum resources
• Stefano Gogioso, Categorical Quantum Dynamics
• Chad Nester, Constructing Cryptocurrency Ledgers with Monoidal Categories
• Antonin Delpeuch , Autonomization of monoidal categories
• Thorsten Altenkirch, Naturality for free – the category interpretation of
directed type theory
• Sharwin Rezagholi, Tobias Fritz and Paolo Perrone, The support is  a
morphism of monads
• Neil Ghani, Clemens Kupke, Alasdair Lambert and Fredrik Nordvall
Forsberg, Compositional Game Theory with Mixed Strategies: Probabilistic
Open Games
• Mario Alvarez-Picallo and C.-H. Luke Ong, Change Actions: Models of
Generalised Differentiation
• Maaike Zwart and Dan Marsden, Don't Try This at Home: No-Go Theorems for
Distributive Laws

# SCHEDULE  OUTLINE:

March 27, 1030-1730
March 28, 930-1530

# PROGRAMME COMMITTEE

Fatimah Ahmadi, University of Oxford
Miriam Backens, University of Oxford
Corina Cirstea, University of Southampton
Bob Coecke, University of Oxford
Carmen Maria Constantin, University of Oxford
Antonin Delpeuch, University of Oxford
Brendan Fong, Massachusetts Institute of Technology
Dan Ghica, University of Birmingham
Giuseppe Greco, Utrecht University
Helle Hvid Hansen, Delft University
Jules Hedges, University of Oxford
Chris Heunen, University of Edinburgh
Dominic Horsman, University of Grenoble
Dimitri Kartsaklis, Apple
Kohei, Kishida, Dalhousie University
Aleks Kissinger, Radboud University Nijmegen
Alexander Kurz, Chapman University
Jean-Simon Lemay, University of Oxford
Martha Lewis, University of Amsterdam
Dan Marsden, University of Oxford
Samuel Mimram, École Polytechnique
Michael Moortgat, Utrecht University
Nina Otter, UCLA
Simona Paoli, University of Leicester
Robin Piedeleu, University of Oxford
David Reutter, University of Oxford
Mehrnoosh Sadrzadeh,  Queen Mary University of London (chair)
Christine Tasson, Paris Diderot University
Jamie Vicary, University of Birmingham
Tamara von Glehn, University of Cambridge
Quanlong Wang, University of Oxford
Gijs Wijnholds, Queen Mary University of London
Philipp Zahn, University of St.Gallen


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]