The compositional description of complex objects is a fundamental feature of the logical structure of computation. The use of logical languages in database theory and in algorithmic and finite model theory provides a basic level of compositionality, but establishing systematic relationships between compositional descriptions and complexity remains elusive. Compositional models of probabilistic systems and languages have been developed, but inferring probabilistic properties of systems in a compositional fashion is an important challenge. In quantum computation, the phenomenon of entanglement poses a challenge at a fundamental level to the scope of compositional descriptions. At the same time, compositionally has been proposed as a fundamental principle for the development of physical theories. This workshop will focus on the common structures and methods centered on compositionality that run through all these areas.
Visit the schedule page for the archived videos.
Samson Abramsky (University of Oxford), Matthew Anderson (Union College), John Baez (UC Riverside), Christoph Berkholz (Humboldt-Universität zu Berlin), Alexis Bernadet (Dalhousie University), Xiaoning Bian (Dalhousie University), Andreas Blass (University of Michigan), Mikolaj Bojanczyk (University of Warsaw), Ben Caulfield (UC Berkeley), Giulio Chiribella (The University of Hong Kong), Vincent Danos (University of Edinburgh), Anupam Das (Ecole Normale Supérieure de Lyon), Anuj Dawar (University of Cambridge), Nadish de Silva (University College London), Ross Duncan (University of Strathclyde), Ehtibar Dzhafarov (Purdue University), Nathanaël Fijalkow (University of Oxford), Brendan Fong (University of Pennsylvania), Tobias Fritz (Max Planck Institute, Leipzig), Simon Gay (University of Glasgow), Mai Gehrke (Université Paris Diderot), Dan Ghica (University of Birmingham), Wesley Holliday (UC Berkeley), Dominic Horsman (Durham University), Radha Jagadeesan (DePaul University), Elham Kashefi (University of Edinburgh), Kohei Kishida (University of Oxford), Erica Klarreich, Phokion Kolaitis (UC Santa Cruz and IBM Research - Almaden), Tomer Kotek (Vienna University of Technology), Marijana Lazic (Technische Universität Wien), Johann Makowsky (Technion Israel Institute of Technology), Pasquale Malacaria (Queen Mary University of London), Shane Mansfield (University of Oxford), Dan Marsden (University of Oxford), Emanuela Merelli (University of Camerino), Michael Mislove (Tulane University), Antonio Montalban (UC Berkeley), Ugo Montanari (University of Pisa), Markus Mueller (Western University), Joanna Ochremiak (Universitat Politecnica de Catalunya), Prakash Panangaden (McGill University), Simon Perdrix (CNRS - Loria), Gordon Plotkin (University of Edinburgh), David Pym (University College London), Nick Ramsey (UC Berkeley), Ramyaa Ramyaa (New Mexico Institute of Mining and Technology), Miguel Romero (University of Chile), Stuart Russell (UC Berkeley), Mehrnoosh Sadrzadeh (Queen Mary University of London), Ana Belen Sainz (University of Bristol), Thomas Scanlon (UC Berkeley), Dana Scott (Carnegie Mellon University), Peter Selinger (Dalhousie University), Simone Severini (University College London), Alexandra Silva (University of College London), Theodore Slaman (UC Berkeley), Rui Soares Barbosa (University of Oxford), Pawel Sobocinski (University of Southhampton), David Spivak (MIT), Val Tannen (University of Pennsylvania), Christine Tasson (Université Paris Diderot), James Vicary (University of Oxford), Gregory Wilsenach (University of Cambridge), Nobuko Yoshida (Imperial College London), Vladimir Zamdzhiev (Tulane University), Nikos Tzevelekos (Queen Mary, University of London)