Program

Sunday, June 23

8:30 Welcome
Mike Mislove
8:30 Sunday morning session I
Session chair: Achim Jung
8:30 Martín Escardó, Birmingham
Continuity of Gödel's System T Definable Functionals via Effectful Forcing
9:00 Danel Ahman and Sam Staton, Cambridge
Normalization by Evaluation and Algebraic Effects
9:30 Roy Crole and Frank Nebel, Leicester
Nominal Lambda Calculus: An Internal Language for FM-Cartesian Closed Categories
10:00 Break
10:30 Sunday morning session II
Session chair: Prakash Panangaden
10:30 Martín Abadi, Microsoft Research and UCSC, Jérémy Planul, Stanford, and Gordon Plotkin, Edinburgh
Layout Randomization and Nondeterminism
11:00 Mike Stay, Auckland and Jamie Vicary, Oxford
Bicategorical Semantics of Nondeterministic Computation
11:30 Maciej Piróg and Jeremy Gibbons, Oxford
Monads for Behaviour
12:00 Bart Jacobs, Radboud
On Block Structures in Quantum Computation
12:30 Lunch - LBC
2:00 Sunday afternoon session I
Session chair: Dexter Kozen
2:00 Plenary Lecture
David Basin, ETH Zurich
Developing Security Protocols by Refinement
3:00 Reinhold Heckmann, AbsInt, and Klaus Keimel, Darmstadt
Quasicontinuous Domains and the Smyth Powerdomain
3:30 Break
4:00 Sunday afternoon session II
Session chair: Andrej Bauer
4:00 Eric Goubault, Tobias Heindel, and Samuel Mimram, CEA
A Geometric View of Partial Order Reduction
4:30 Stefan Milius, Erlangen-Nürnberg, Marcello Bonsangue, Leiden & CWI, Robert Myers, Braunschweig, and Jurriaan Rot, Leiden & CWI
Rational Operational Models
5:00 Short Break
5:10 Memorial Session for John Reynolds
Session chair: Dana Scott
5:15 Uday Reddy, Birmingham
Automata-theoretic Semantics of Idealized Algol with Passive Expressions
5:45 Stephen Brookes and Dana Scott, CMU, Benjamin Pierce, UPenn, and Gordon Plotkin, Edinburgh
6:15 Wine and cheese, LBC 1834 Club, Building 29

Monday, June 24

8:30 Monday morning session I
Session chair: Radha Jagadeesan
8:30 Ichiro Hasuo, Kenta Cho, and Toshiki Kataoka, Tokyo, and Bart Jacobs, Radboud
Coinductive Predicates and Final Sequences in a Fibration
9:00 MFPC-LICS Special Session on Coalgebra
Organized by Jan Rutten and Alexandra Silva
Session chair: Alexandra Silva
9:00 Plenary Lecture
Jan Rutten, CWI and Radboud
Automata and the Algebra-coalgebra Duality: on Varieties and Covarieties, on Transition Monoids and Their Dual
10:00 Break
10:30 Bart Jacobs, Radboud
Coalgebra and Quantum Computing
11:10 Larry Moss, Indiana
Fractal Sets and Final Coalgebras Obtained by Completing an Initial Algebra
11:50 Lutz Schroeder, Erlangen-Nürnberg
Coalgebraic Announcements
12:30 Lunch
2:00 Monday afternoon session I
Session chair: Lars Birkedal
2:00 Glynn Winskel, Cambridge
Distributed Probabilistic and Quantum Strategies
2:30 Uli Fahrenberg, IRISA Rennes and Axel Legay, Liège
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps
3:00 Samuel Mimram and Cinzia Di Giusto, CEA
A Categorical Theory of Patches
3:30 Break
4:00 Monday afternoon session II
Session chair: Phil Scott
4:00 Kei Terayama and Hideki Tsuiki, Kyoto
A Stream Calculus of Bottomed Sequences for Real Number Computation
4:30 Zoltan Ésik, Szeged
A Connection between Concurrency and Language Theory
5:00 Pierre Clairambault and Glynn Winskel, Cambridge
On Concurrent Games with Payoff
5:30 David Sprunger, Indiana
Linearization of Automatic Arrays, Weave Specifications, and Variadic Sequences
6:30 Bus to MFPS Conference Dinner

Tuesday, June 25

9:00 MFPC-LICS Special Session on On The Future of Programming Language Theory Honoring Dana Scott
Session chair: Stephen Brookes
9:00 Andy Pitts, Cambridge
Symmetric Scott
9:30 Steve Awodey, CMU
Constructing Higher Inductive Types in Homotopy Type Theory
10:00 Robert Harper, CMU
Unifying Programming Language Semantics with Algorithm Analysis
10:30 Break
11:00 Tuesday morning session II
Session chair: Joel Ouaknine
11:00 Andrej Bauer, Slovenia
Old Domains and New Programming Languages
11:30 Plenary Lecture
Dana Scott, CMU
The Stochastic Lambda-Calculus
12:30 Lunch
6:00 MFPS-LICS-CSF Reception, LBC Qatar Room, Building 29