[Haskell-cafe] S-REPLS 14 at Jane Street London on March 8th: Call for participation

[Richard Eisenberg]

============================================================================
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 <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/ <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)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20240229/4af02302/attachment.html>