[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
============================================ S-REPLS 16 Tuesday, 1st April
2025 (seriously) Department of Computing, Imperial College London, London, SW7
2AZ Sponsored by VeTTS, the Research Institute on Verified Trustworthy
Software
Systems<https://urldefense.com/v3/__https://vetss.org.uk/__;!!IBzWLUs!S8TWJMK6M7481ZtxIZLdO5Q_TaoVzfXhYVK1r5lhHBrhioCisP64PehzLGbcDPOFXJO5MtRyg807qZ7UPzOIhcl2CNnjllUgoWdQtP8LlxcuLI0$
>
============================================ Dear all The latest edition of the
South of England Regional Programming Languages Seminar
(S-REPLS)<https://urldefense.com/v3/__https://github.com/srepls/srepls.github.io__;!!IBzWLUs!S8TWJMK6M7481ZtxIZLdO5Q_TaoVzfXhYVK1r5lhHBrhioCisP64PehzLGbcDPOFXJO5MtRyg807qZ7UPzOIhcl2CNnjllUgoWdQtP8Lr0Q-jtA$
>
series, will be held at Imperial College London on 1st April 2025. It will be
an all day event, with exact timings to be confirmed.
Please register via the S-REPLS 16
website<https://urldefense.com/v3/__https://www.imperial.ac.uk/events/189121/s-repls-16/__;!!IBzWLUs!S8TWJMK6M7481ZtxIZLdO5Q_TaoVzfXhYVK1r5lhHBrhioCisP64PehzLGbcDPOFXJO5MtRyg807qZ7UPzOIhcl2CNnjllUgoWdQtP8LvCEU5tY$
> if you would like to attend.
If you would like to give a talk, please send a talk proposal to Alastair
Donaldson <[email protected]> by mid February. 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.
This edition of S-REPLS is generously supported by sponsorship from VeTTS, the
Research Institute on Verified Trustworthy Software
Systems<https://urldefense.com/v3/__https://vetss.org.uk/__;!!IBzWLUs!S8TWJMK6M7481ZtxIZLdO5Q_TaoVzfXhYVK1r5lhHBrhioCisP64PehzLGbcDPOFXJO5MtRyg807qZ7UPzOIhcl2CNnjllUgoWdQtP8LlxcuLI0$
>.
Best wishes
Ally Donaldson
