SYCO 3 - Call For Participation

SYCO 3 - Call For Participation

[JS Lemay]

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

University of Oxford
27-28 March, 2019
http://events.cs.bham.ac.uk/syco/3/ <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
 	• Cosimo Perini Brogi, Kleisli Triples in Homotopy Type Theory. A Case in Mathematical Philosophy
 	• 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

# 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
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

# STUDENT TRAVEL SUPPORT
Some funding is available to cover travel and subsistence costs, with a priority for PhD students and junior researchers. 
To apply for this funding, please contact the local organizer 
Antonin Delpeuch (antonin.delpeuch@cs.ox.ac.uk <mailto:antonin.delpeuch@cs.ox.ac.uk>) with subject line "SYCO 3 funding request" by 13 March, 
with a short statement of your current status, travel costs and funding required


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