<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="text-align: left; text-indent: 0px; white-space: pre-wrap; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;">
============================================ S-REPLS 16 Tuesday, 1st April 2025 (seriously) Department of Computing, Imperial College London, London, SW7 2AZ Sponsored by
<a href="https://urldefense.com/v3/__https://vetss.org.uk/__;!!IBzWLUs!S8TWJMK6M7481ZtxIZLdO5Q_TaoVzfXhYVK1r5lhHBrhioCisP64PehzLGbcDPOFXJO5MtRyg807qZ7UPzOIhcl2CNnjllUgoWdQtP8LlxcuLI0$" target="_blank" id="OWAb8030342-97a3-91a4-ab3c-b5a25645c74c" class="OWAAutoLink" title="https://vetss.org.uk/" rel="noopener noreferrer" data-linkindex="0" data-auth="NotApplicable" style="margin: 0px;">
VeTTS, the Research Institute on Verified Trustworthy Software Systems</a></div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; white-space: pre-wrap; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;">
============================================ Dear all The latest edition of the <a href="https://urldefense.com/v3/__https://github.com/srepls/srepls.github.io__;!!IBzWLUs!S8TWJMK6M7481ZtxIZLdO5Q_TaoVzfXhYVK1r5lhHBrhioCisP64PehzLGbcDPOFXJO5MtRyg807qZ7UPzOIhcl2CNnjllUgoWdQtP8Lr0Q-jtA$" id="OWA5ff95c60-52ca-1f84-03a6-a44224883e22" class="OWAAutoLink" title="https://github.com/srepls/srepls.github.io" style="margin: 0px;">
South of England Regional Programming Languages Seminar (S-REPLS)</a></div>
<div style="background-color: rgb(255, 255, 255); margin: 0px;">
<div style="text-align: left; white-space: pre-wrap; margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;">
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.</div>
</div>
<div style="margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;">
<br>
</div>
<div style="text-align: left; text-indent: 0px; white-space: pre-wrap; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;">
Please register via the <a href="https://urldefense.com/v3/__https://www.imperial.ac.uk/events/189121/s-repls-16/__;!!IBzWLUs!S8TWJMK6M7481ZtxIZLdO5Q_TaoVzfXhYVK1r5lhHBrhioCisP64PehzLGbcDPOFXJO5MtRyg807qZ7UPzOIhcl2CNnjllUgoWdQtP8LvCEU5tY$" id="OWA6d878655-ac9a-7067-db9c-4861a4ac843d" class="OWAAutoLink" title="https://www.imperial.ac.uk/events/189121/s-repls-16/" style="margin: 0px;">
S-REPLS 16 website</a> if you would like to attend.</div>
<div style="margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;">
<br>
</div>
<div style="text-align: left; text-indent: 0px; white-space: pre-wrap; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;">
If you would like to give a talk, please send a talk proposal to Alastair Donaldson <alastair.donaldson@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.
</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;">
<br>
</div>
<div style="text-align: left; text-indent: 0px; white-space: pre-wrap; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;">
This edition of S-REPLS is generously supported by sponsorship from <a href="https://urldefense.com/v3/__https://vetss.org.uk/__;!!IBzWLUs!S8TWJMK6M7481ZtxIZLdO5Q_TaoVzfXhYVK1r5lhHBrhioCisP64PehzLGbcDPOFXJO5MtRyg807qZ7UPzOIhcl2CNnjllUgoWdQtP8LlxcuLI0$" target="_blank" id="OWAca8482f8-ccb6-0fdd-abe3-9d0536541d14" class="OWAAutoLink" title="https://vetss.org.uk/" rel="noopener noreferrer" data-linkindex="1" data-auth="NotApplicable" style="margin: 0px; text-align: left;">
VeTTS, the Research Institute on Verified Trustworthy Software Systems</a>.</div>
<div style="background-color: rgb(255, 255, 255); margin: 0px;"></div>
<div style="text-align: left; text-indent: 0px; white-space: pre-wrap; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;">
Best wishes</div>
<div style="background-color: rgb(255, 255, 255); margin: 0px;"></div>
<div style="text-align: left; text-indent: 0px; white-space: pre-wrap; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;">
Ally Donaldson</div>
<div style="background-color: rgb(255, 255, 255); margin: 0px;"></div>
<div style="margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
</body>
</html>