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 |