Welcome to the 3rd South of England Regional Programming Language Seminar. The seminar is free of charge and lunch provided.

Please sign up to attend via this Doodle poll.

Our Invited Speaker is Derek Dreyer from MPI-SWS speaking on the Rust language.


Directions to University of Kent at Canterbury. We are in Grimond Lecture Theatre 2.


11:45–12:00 Welcome
12:00–13:00 Invited talk by Derek Dreyer (MPI-SWS)
RustBelt: Logical Foundations for the Future of Safe Systems Programming Abstract
13:00–14:00 Lunch
14:00–14:30Jeremy Gibbons (Oxford)
Free Delivery Abstract
14:30–15:00Stephen Dolan (Cambridge)
Principal type inference with subtyping Abstract
15:00–15:30Matthew Pickering (Oxford)
Profunctor Optics Abstract
15:30–16:00Kathryn Gray (Cambridge)
Sail: A DSL for Rigorous Architectural Specifications Abstract
16:00–16:30 Break
16:30–17:00Andrew Kennedy (Facebook)
The Hack programming language: Types for PHP Abstract
17:00–17:30Luís Pina (Imperial)
Deploying Dynamic Analyses and Preventing Compiler Backdoors with Multi-Version Execution Abstract
17:30–18:00Ilya Sergey (UCL)
Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects Abstract