Fun in the REPL

Fun in the Afternoon / S-REPLS 13
Wednesday 1st November, 10am - 7pm, Engine Shed, Bristol BS1 6QH

S-REPLS is a regular meeting, based in the south of England, for anyone with an interest in the semantics and implementation of programming languages. Fun in the Afternoon is a seminar on functional programming and related topics. This site describes the arrangements for a joint meeting of these two communities at Bristol Engine Shed in November 2023.



09:00 - 09:50Arrival
09:50 - 10:00Welcome from the organisers
10:00 - 11:15Contributed Talks 1
11:15 - 11:30Break (15 mins)
11:30 - 12:30Keynote 1: Bob Atkey, University of Strathclyde
12:30 - 13:30Lunch (60 mins)
13:30 - 14:30Keynote 2: Akos Hajdu, Meta/WhatsApp
14:30 - 14:45Break (15 mins)
14:45 - 16:00 Contributed Talks 2
16:00 - 16:30Break (30 mins)
16:30 - 17:20 Contributed Talks 3
17:20 - 17:50Break (30 mins)
17:50 - 18:40 Contributed Talks 4
18:40 - 19:00Closing


The meeting will take place from 10am to 7pm on Wednesday 1st of November in Engine Shed, Bristol BS1 6QH.

Please sign up at EventBrite if you wish to attend.

Attendance is free of charge, and both refreshments and lunch will be provided, but we need you to sign up because places are limited and catering requirements must be estimated.


Engine shed is adjacent to Bristol Temple Meads railway station. Great Western Railway (GWR) offer some reduced rail fares for event delegates if you are travelling from a station operated by GWR.

There is parking in Bristol Temple Meads station car park, though it is expensive and fills up quickly. Alternative parking can be found on Parkopedia.

Organisers & Sponsors

vetss logo This event is made possible by the generous sponsorship of the UK Research Institute on Verified Trustworthy Software Systems.

plrg logo The event is organised and part funded by the Programming Languages Research Group (PLRG) at the University of Bristol. For any queries, please contact: Alex Kavvos and Steven Ramsay on