• Click on the titles of individual talks for abstract, slides and archived video. Streamed or archived video may not be available for some talks.

–
Coffee and Check-In
–
Opening Remarks
–
Semantics for Physicists
Prakash Panangaden (McGill University), Prakash Panangaden (McGill University), Prakash Panangaden (McGill University)
–
Compositionally, Adequacy, and Full Abstraction
Gordon Plotkin, University of Edinburgh
–
Break
–
An Operadic Approach to Compositionality
David Spivak, MIT
–
Data Structures for Quasistrict Higher Categories
Jamie Vicary, University of Oxford
–
Lunch
–
From Linearizability to Eventual Consistency
Radha Jagadeesan, DePaul University
–
Compositionality and Session Types
Nobuko Yoshida, Imperial College London
–
Break
–
Discussion
–
Reception
–
Coffee and Check-In
–
The Mathematics of Networks
John Baez, UC Riverside
–
Break
–
Composition in Some Formal Models of Natural Language
Mehrnoosh Sadrzadeh, Queen Mary University of London
–
Modelling Interconnected Systems with Decorated Corelations
Brendan Fong, University of Pennsylvania
–
Custom Compact Closed Categories via Relations
Dan Marsden, University of Oxford
–
Lunch
–
Some Thoughts on Inferring System Structure
Tobias Fritz, Max Planck Institute, Leipzig
–
Automata Learning -- Infinite Alphabets and Application to Verification
Alexandra Silva, University College London
–
Operational Semantics for Single-Particle Classical Thermodynamics
Dominic Horsman, Durham University
–
Break
–
Discussion
–
Coffee and Check-In
–
Compositional Thermodynamics
Giulio Chiribella, The University of Hong Kong
–
Break
–
Composition and Quantum Theory: A Conjecture, and How it Could Fail
Markus Mueller, Western University
–
Multipartite Composition of Contextuality Scenarios
Ana Belen Sainz, University of Bristol
–
Compositionality in Categorical Quantum Computing
Ross Duncan, University of Strathclyde
–
Lunch
–
Coffee and Check-In
–
Logic of Local Inference for Contextuality and Paradoxes
Kohei Kishida, University of Oxford
–
Towards a Resource Theory of Contextuality
Rui Soares Barbosa, University of Oxford
–
Break
–
Modelling Interfaces in Distributed Systems: Some First Steps
David Pym, University College London
–
Compositionality in Cybersecurity
Pasquale Malacaria, Queen Mary University of London
–
A Topological Approach to Compositionality in Complex Systems
Emanuela Merelli, University of Camerino
–
Lunch
–
Higher-Order Linearisability
Nikos Tzevelekos, Queen Mary University of London
–
Probabilistic Call By Push Value
Christine Tasson, Université Paris Diderot
–
Break
–
Linear Logic, Session Types and Deadlock-Freedom
Simon Gay, University of Glasgow
–
Composing Strategies in Pebble Games
Anuj Dawar, University of Cambridge
–
Completeness and Incompleteness of Quantum Diagram Reasoning
Simon Perdrix, CNRS, Loria
–
Coffee and Check-In
–
Composing Schema Mappings: An Overview
Phokion Kolaitis (UC Santa Cruz and IBM Research), Phokion Kolaitis (UC Santa Cruz and IBM Research)
–
About the Provenance of Truth
Val Tannen, University of Pennsylvania
–
Break
–
A Compositional Quantum Programming Language
Peter Selinger, Dalhousie University
–
Programming Recurrence Relations
Pawel Sobocinski, University of Southampton
–
Lunch
–
Discussion
–
TBD
Dana Scott (Carnegie Mellon University)