Accepted Papers
- Martín Escardó. Continuity of Gödel's System T Definable Functionals via Effectful Forcing.
- Samuel Mimram and Cinzia Di Giusto. A Categorical Theory of Patches.
- Mike Stay and Jamie Vicary. Bicategorical Semantics of Nondeterministic Computation.
- Eric Goubault, Tobias Heindel and Samuel Mimram. A Geometric View of Partial Order Reduction.
- Glynn Winskel. Distributed Probabilistic and Quantum Strategies.
- Stefan Milius, Marcello Bonsangue, Robert Myers and Jurriaan Rot. Rational Operational Models.
- Maciej Piróg and Jeremy Gibbons. Monads for Behaviour.
- Chunlai Zhou. Approximating Bisimilarity for Markov Processes.
- Pierre Clairambault and Glynn Winskel. On Concurrent Games with Payoff.
- Reinhold Heckmann and Klaus Keimel. Quasicontinuous Domains and the Smyth Powerdomain.
- Danel Ahman and Sam Staton. Normalization by Evaluation and Algebraic Effects.
- Martín Abadi, Jérémy Planul and Gordon Plotkin. Layout Randomization and Nondeterminism.
- Kei Terayama and Hideki Tsuiki. A Stream Calculus of Bottomed Sequences for Real Number Computation.
- Roy Crole and Frank Nebel. Nominal Lambda Calculus: An Internal Language for FM-Cartesian Closed Categories.
- Bart Jacobs. On Block Structures in Quantum Computation.
- David Sprunger. Linearization of Automatic Arrays, Weave Specifications, and Variadic Sequences.
- Uli Fahrenberg and Axel Legay. History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps.
- Ichiro Hasuo, Kenta Cho, Toshiki Kataoka and Bart Jacobs. Coinductive Predicates and Final Sequences in a Fibration.
- Uday Reddy. Automata-theoretic Semantics of Idealized Algol with Passive Expressions.
- Zoltan Ésik. A Connection between Concurrency and Language Theory.