Workshops

Fall 2016

Compositionality

Dec. 5 – Dec. 9, 2016

Return to event »

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

Monday, December 5th, 2016
9:00 am – 9:20 am		Coffee and Check-In
9:20 am – 9:30 am		Opening Remarks
9:30 am – 9:55 am		Semantics for Physicists Prakash Panangaden, McGill University
10:00 am – 10:35 am		Compositionally, Adequacy, and Full Abstraction Gordon Plotkin, University of Edinburgh
10:35 am – 11:00 am		Break
11:00 am – 11:35 am		An Operadic Approach to Compositionality David Spivak, MIT
11:40 am – 12:15 pm		Data Structures for Quasistrict Higher Categories Jamie Vicary, University of Oxford
12:20 pm – 2:00 pm		Lunch
2:00 pm – 2:35 pm		From Linearizability to Eventual Consistency Radha Jagadeesan, DePaul University
2:40 pm – 3:15 pm		Compositionality and Session Types Nobuko Yoshida, Imperial College London
3:20 pm – 4:00 pm		Break
4:00 pm – 5:00 pm		Discussion
5:00 pm – 6:00 pm		Reception

Tuesday, December 6th, 2016
9:00 am – 9:30 am		Coffee and Check-In
9:30 am – 10:30 am		The Mathematics of Networks John Baez, UC Riverside
10:30 am – 11:00 am		Break
11:00 am – 11:35 am		Composition in Some Formal Models of Natural Language Mehrnoosh Sadrzadeh, Queen Mary University of London
11:40 am – 12:00 pm		Modelling Interconnected Systems with Decorated Corelations Brendan Fong, University of Pennsylvania
12:05 pm – 12:25 pm		Custom Compact Closed Categories via Relations Dan Marsden, University of Oxford
12:30 pm – 2:00 pm		Lunch
2:00 pm – 2:35 pm		Some Thoughts on Inferring System Structure Tobias Fritz, Max Planck Institute, Leipzig
2:40 pm – 3:15 pm		Automata Learning -- Infinite Alphabets and Application to Verification Alexandra Silva, University College London
3:20 pm – 3:45 pm		Operational Semantics for Single-Particle Classical Thermodynamics Dominic Horsman, Durham University
3:45 pm – 4:15 pm		Break
4:15 pm – 5:15 pm		Discussion

Wednesday, December 7th, 2016
9:00 am – 9:30 am		Coffee and Check-In
9:30 am – 10:30 am		Compositional Thermodynamics Giulio Chiribella, The University of Hong Kong
10:30 am – 11:00 am		Break
11:00 am – 11:20 am		Composition and Quantum Theory: A Conjecture, and How it Could Fail Markus Mueller, Western University
11:25 am – 11:45 am		Multipartite Composition of Contextuality Scenarios Ana Belen Sainz, University of Bristol
11:50 am – 12:25 pm		Compositionality in Categorical Quantum Computing Ross Duncan, University of Strathclyde
12:30 pm – 2:00 pm		Lunch

Thursday, December 8th, 2016
9:00 am – 9:30 am		Coffee and Check-In
9:30 am – 10:05 am		Logic of Local Inference for Contextuality and Paradoxes Kohei Kishida, University of Oxford
10:10 am – 10:30 am		Towards a Resource Theory of Contextuality Rui Soares Barbosa, University of Oxford
10:35 am – 11:00 am		Break
11:00 am – 11:20 am		Modelling Interfaces in Distributed Systems: Some First Steps David Pym, University College London
11:25 am – 11:45 am		Compositionality in Cybersecurity Pasquale Malacaria, Queen Mary University of London
11:50 am – 12:10 pm		A Topological Approach to Compositionality in Complex Systems Emanuela Merelli, University of Camerino
12:15 pm – 2:00 pm		Lunch
2:00 pm – 2:35 pm		Higher-Order Linearisability Nikos Tzevelekos, Queen Mary University of London
2:40 pm – 3:15 pm		Probabilistic Call By Push Value Christine Tasson, Université Paris Diderot
3:20 pm – 3:50 pm		Break
3:50 pm – 4:10 pm		Linear Logic, Session Types and Deadlock-Freedom Simon Gay, University of Glasgow
4:15 pm – 4:35 pm		Composing Strategies in Pebble Games Anuj Dawar, University of Cambridge
4:40 pm – 5:00 pm		Completeness and Incompleteness of Quantum Diagram Reasoning Simon Perdrix, CNRS, Loria

Friday, December 9th, 2016
9:00 am – 9:30 am		Coffee and Check-In
9:30 am – 10:05 am		Composing Schema Mappings: An Overview Phokion Kolaitis, UC Santa Cruz and IBM Research - Almaden
10:10 am – 10:45 am		About the Provenance of Truth Val Tannen, University of Pennsylvania
10:50 am – 11:20 am		Break
11:20 am – 11:55 am		A Compositional Quantum Programming Language Peter Selinger, Dalhousie University
12:00 pm – 12:35 pm		Programming Recurrence Relations Pawel Sobocinski, University of Southampton
12:40 pm – 2:00 pm		Lunch
2:00 pm – 3:00 pm		Discussion
3:00 pm – 3:40 pm		TBD Dana Scott, Carnegie Mellon University