Email Gateway (Aug 29 2025 at 09:49): Email Gateway (Aug 29 2025 at 09:49):From: "\"Zetzsche, Stefan\"" <cl-isabelle-users@lists.cam.ac.uk>
============================================
S-REPLS
Wednesday, 29th October 2025
1 Principal Place, London EC2A 2FA
Sponsored by Amazon
============================================
Dear all,
the latest edition of the South of England Regional Programming Languages Seminar<https://srepls.github.io/#/> (S-REPLS) will be held at Amazon UK's headquarter in London on 29th October 2025. It will be an all day event - exact timings to be confirmed. Please save the date!
Please register via https://aws-experience.com/emea/uki/e/70859/s-repls if you would like to attend.
If you would like to give a talk, please send a talk proposal to Stefan Zetzsche stefanze@amazon.co.uk<mailto:stefanze@amazon.co.uk> by mid September. Talks are typically 20-30 minutes long and should be given in person. We invite proposals for talks on any topic related to programming languages. The meeting will be informal, so talks on any related topic at any stage of development (from work submitted for publication to mature projects) are welcome.
Best wishes
Stefan Zetzsche stefanze@amazon.co.uk<mailto:stefanze@amazon.co.uk>
Dominic Mulligan dommul@amazon.co.uk<mailto:dommul@amazon.co.uk>
Allison Delaney delallis@amazon.com<mailto:delallis@amazon.com>
Amazon Development Centre (London) Ltd. Registered in England and Wales with registration number 04543232 with its registered office at 1 Principal Place, Worship Street, London EC2A 2FA, United Kingdom.
Last updated: Sep 13 2025 at 04:22 UTC