[TYPES/announce] S-REPLS 16 at Imperial College London - 1st April 2025

[Donaldson, Alastair F]

============================================  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 <alastair.donaldson at imperial.ac.uk> 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



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250131/30984f8c/attachment.htm>