============================================ S-REPLS 13 / Fun in the Afternoon Joint meeting on Programming Languages Wednesday, 1 November 2023, 10:00 - 19:00 Engine Shed, Bristol BS1 6HQ https://plrg-bristol.github.io/fir/ ============================================ *Overview* 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. A joint meeting of these two communities will be hosted by the Programming Languages Research Group at the University of Bristol. The meeting will take place at Engine Shed, Bristol BS1 6HQ from 10am to 7pm on Wednesday 1st November. *Keynote Talks* Bob Atkey, University of Strathclyde Data Types with Negation Akos Hajdu, Meta/WhatsApp Static and Dynamic Code Analyses for WhatsApp Server *Programme* The full programme, which includes 10 contributed talks, is now available at the website: https://plrg-bristol.github.io/fir/ *Attendance* Attendance is free of charge, but places are limited. If you wish to attend please sign-up at EventBrite as soon as possible: https://www.eventbrite.com/e/717109883967/ … Alex Kavvos … Senior Lecturer in Programming Languages … School of Computer Science, University of Bristol, UK … https://seis.bristol.ac.uk/~tz20861/