• 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)
Video
–
Compositionally, Adequacy, and Full Abstraction

Gordon Plotkin, University of Edinburgh
Video
–
Break
–
An Operadic Approach to Compositionality

David Spivak, MIT
Video
–
Data Structures for Quasistrict Higher Categories

Jamie Vicary, University of Oxford
Video
–
Lunch
–
From Linearizability to Eventual Consistency

Radha Jagadeesan, DePaul University
Video
–
Compositionality and Session Types

Nobuko Yoshida, Imperial College London
–
Break
–
Discussion
–
Reception
–
Coffee and Check-In
–
The Mathematics of Networks

John Baez, UC Riverside
Video
–
Break
–
Composition in Some Formal Models of Natural Language

Mehrnoosh Sadrzadeh, Queen Mary University of London
Video
–
Modelling Interconnected Systems with Decorated Corelations

Brendan Fong, University of Pennsylvania
Video
–
Custom Compact Closed Categories via Relations

Dan Marsden, University of Oxford
Video
–
Lunch
–
Some Thoughts on Inferring System Structure

Tobias Fritz, Max Planck Institute, Leipzig
Video
–
Automata Learning -- Infinite Alphabets and Application to Verification

Alexandra Silva, University College London
Video
–
Operational Semantics for Single-Particle Classical Thermodynamics

Dominic Horsman, Durham University
Video
–
Break
–
Discussion
–
Coffee and Check-In
–
Compositional Thermodynamics

Giulio Chiribella, The University of Hong Kong
Video
–
Break
–
Composition and Quantum Theory: A Conjecture, and How it Could Fail

Markus Mueller, Western University
Video
–
Multipartite Composition of Contextuality Scenarios

Ana Belen Sainz, University of Bristol
Video
–
Compositionality in Categorical Quantum Computing

Ross Duncan, University of Strathclyde
Video
–
Lunch
–
Coffee and Check-In
–
Logic of Local Inference for Contextuality and Paradoxes

Kohei Kishida, University of Oxford
Video
–
Towards a Resource Theory of Contextuality

Rui Soares Barbosa, University of Oxford
Video
–
Break
–
Modelling Interfaces in Distributed Systems: Some First Steps

David Pym, University College London
Video
–
Compositionality in Cybersecurity

Pasquale Malacaria, Queen Mary University of London
Video
–
A Topological Approach to Compositionality in Complex Systems

Emanuela Merelli, University of Camerino
Video
–
Lunch
–
Higher-Order Linearisability

Nikos Tzevelekos, Queen Mary University of London
Video
–
Probabilistic Call By Push Value

Christine Tasson, Université Paris Diderot
Video
–
Break
–
Linear Logic, Session Types and Deadlock-Freedom

Simon Gay, University of Glasgow
Video
–
Composing Strategies in Pebble Games

Anuj Dawar, University of Cambridge
Video
–
Completeness and Incompleteness of Quantum Diagram Reasoning

Simon Perdrix, CNRS, Loria
Video
–
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)
Video
–
About the Provenance of Truth

Val Tannen, University of Pennsylvania
Video
–
Break
–
A Compositional Quantum Programming Language

Peter Selinger, Dalhousie University
Video
–
Programming Recurrence Relations

Pawel Sobocinski, University of Southampton
Video
–
Lunch
–
Discussion
–
TBD

Dana Scott (Carnegie Mellon University)