============================================================================
S-REPLS 14
South of England Regional Programming Language Seminar series

Jane Street London, 2 & A Half Devonshire Square,  Premier Place, London EC2M 4UJ
Fri 8 March 2024
============================================================================

S-REPLS is a series of informal meetings for people in the South of England interested in the principles, design and implementation of programming languages. Events take place approximately thrice yearly, organised by members of the community.

Attendance at S-REPLS 14 is free and lunch will be provided.  Due to security concerns and planning needs all attendees need to register. Please RSVP here: https://docs.google.com/forms/d/e/1FAIpQLSeODsd6ZXNi58hTBBP1oMOLkjgkZK40QdKX8jyY8fPt4BhojA/viewform

Schedule below. Talk abstracts and further details can be found on the S-REPLS 14 website: https://www.cl.cam.ac.uk/events/s-repls14/

0900 Arrival and breakfast

1000 Keynote: Graded types and Algebraic Effects
          Dominic Orchard (University of Kent and University of Cambridge)

1100 Break

1130 Automatically Finding Upper and Lower Time Complexity Bounds for Parallel Evaluation
          Carsten Fuhs (Birkbeck, University of London)
1200 Somewhat Dynamic Build Systems
          Neil Mitchell (Meta)

1230 Lunch

1330 The Dafny Programming Language and Static Verifier
          Stefan Zetzsche (Amazon)
1400 Implementing a Dependently Typed Language Modelling Algebraic Equivalences
          Zhiyi Liu (University of Cambridge)
1430 Programming with First-class Constructor Contexts
          Anton Lorenzen (University of Edinburgh)

1500 Break

1530 Finding cheaper straightline instruction sequences more cheaply
          Maria A Schett
1600 Starlark: between configuration and programming language
          Stiopa Koltsov (Meta)
1630 Ill-Typed programs don’t evaluate
          Charlie Walpole (University of Bristol)