<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="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Dear all,</div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
This is a reminder that the thirty-eighth <span style="color: black; background-color: rgb(255, 241, 0);">
Agda</span> <span style="color: black; background-color: rgb(255, 241, 0);">Implementors</span>' Meeting will take place in Swansea, Wales, UK from Monday 13 to Saturday 18 May 2024.</div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Wiki link for more details: <a href="https://wiki.portal.chalmers.se/agda/Main/AIMXXXVIII" target="_blank" id="OWAa9e0f6f8-a743-51f4-7ed7-ed327562b816" class="ms-outlook-linkify OWAAutoLink" data-loopstyle="linkonly">
https://wiki.portal.chalmers.se/</a><span style="color: black; background-color: rgb(255, 241, 0);"><a href="https://wiki.portal.chalmers.se/agda/Main/AIMXXXVIII" target="_blank" id="OWAa9e0f6f8-a743-51f4-7ed7-ed327562b816" class="ms-outlook-linkify OWAAutoLink" style="color: black;" data-loopstyle="linkonly">agda</a></span><a href="https://wiki.portal.chalmers.se/agda/Main/AIMXXXVIII" target="_blank" id="OWAa9e0f6f8-a743-51f4-7ed7-ed327562b816" class="ms-outlook-linkify OWAAutoLink" data-loopstyle="linkonly">/Main/AIMXXXVIII</a></div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
The meeting aims to bring together people not only developing but also using <span style="color: black; background-color: rgb(255, 241, 0);">
Agda</span> or even those who are simply interested in it. We will have talks on the implementation details of
<span style="color: black; background-color: rgb(255, 241, 0);">Agda</span> in the morning and code sprints in the afternoon. You can still submit your proposal for a talk or discussion!</div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
There's a (soft) deadline for registration on 14 April 2024</div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Registration instructions: <a href="https://wiki.portal.chalmers.se/agda/Main/AIMXXXVIII#Registration" target="_blank" id="OWAc2749bbe-b2c7-983a-464a-0a5e5f41ba00" class="ms-outlook-linkify OWAAutoLink" data-loopstyle="linkonly">
https://wiki.portal.chalmers.se/</a><span style="color: black; background-color: rgb(255, 241, 0);"><a href="https://wiki.portal.chalmers.se/agda/Main/AIMXXXVIII#Registration" target="_blank" id="OWAc2749bbe-b2c7-983a-464a-0a5e5f41ba00" class="ms-outlook-linkify OWAAutoLink" style="color: black;" data-loopstyle="linkonly">agda</a></span><a href="https://wiki.portal.chalmers.se/agda/Main/AIMXXXVIII#Registration" target="_blank" id="OWAc2749bbe-b2c7-983a-464a-0a5e5f41ba00" class="ms-outlook-linkify OWAAutoLink" data-loopstyle="linkonly">/Main/AIMXXXVIII#Registration</a></div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Anton Setzer</div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div id="Signature">
<p style="direction: ltr; margin-top: 0px; margin-bottom: 0px;"><span style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">-----------------------------------------------------------------------------<br>
</span></p>
<div style="direction: ltr; font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Dr Anton Setzer<br>
</div>
<div style="direction: ltr; font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Darllenydd / Reader<br>
</div>
<div style="direction: ltr; font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Ystafell / Room 403<br>
</div>
<div style="direction: ltr; font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Adran Gyfrifiadureg / Dept. of Computer Science<br>
</div>
<div style="direction: ltr; font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Y Ffowndri Gyfrifiadurol / Computational Foundry<br>
</div>
<div style="direction: ltr; font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Coleg Gwyddoniaeth / College of Science<br>
</div>
<div style="direction: ltr; font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Prifysgol Abertawe/ Swansea University<br>
</div>
<div style="direction: ltr; font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Campws y Bae/ Bay Campus<br>
</div>
<div style="direction: ltr; font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Abertawe / Swansea SA1 8EN<br>
</div>
<div style="direction: ltr; font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
DU / UK<br>
</div>
<div style="direction: ltr; font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Rhowch wybod i ni os hoffech dderbyn eich gohebiaeth yn Gymraeg. / Let us know if you would like to receive correspondence in Welsh.<br>
</div>
<div style="direction: ltr; font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Rydym yn croesawu gohebiaeth yn Gymraeg neu yn Saesneg. / We welcome correspondence in Welsh or English.<br>
</div>
<div style="direction: ltr; font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Ni fydd gohebu yn Gymraeg yn arwain at oedi./ Corresponding in Welsh will not lead to a delay.
</div>
<div style="direction: ltr; font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
</div>
</body>
</html>