<div style="font-family: Arial, sans-serif; font-size: 14px;"><span>Dear all,<br></span></div><div style="font-family: Arial, sans-serif; font-size: 14px;"><span><br></span></div><div style="font-family: Arial, sans-serif; font-size: 14px;"><span>The thirty-sixth Agda Implementors' Meeting will take place in Delft, NL from Wednesday, 2023-05-10 to Tuesday, 2023-05-16.</span><div><span>Wiki link for more details: <a target="_blank" rel="noreferrer nofollow noopener" href="https://wiki.portal.chalmers.se/agda/Main/AIMXXXVI">https://wiki.portal.chalmers.se/agda/Main/AIMXXXVI</a></span></div><div><br></div><div><span>The meeting aims to bring together people not only developing but also using Agda or even those who are simply interested in it. We will have talks on the implementation details of Agda in the morning and code sprints in the afternoon. You can still submit your proposal for a talk or discussion!</span></div><div><br></div><div><span>There's a (soft) deadline for registration on 2023-04-12</span></div><div><span>Registration instructions: <a target="_blank" rel="noreferrer nofollow noopener" href="https://wiki.portal.chalmers.se/agda/Main/AIMXXXVI#Registration">https://wiki.portal.chalmers.se/agda/Main/AIMXXXVI#Registration</a> </span></div><span></span></div><div style="font-family: Arial, sans-serif; font-size: 14px; color: rgb(0, 0, 0);"><br></div><div style="font-family: Arial, sans-serif; font-size: 14px; color: rgb(0, 0, 0);">-- Jesper<br></div><div class="protonmail_signature_block protonmail_signature_block-empty" style="font-family: Arial, sans-serif; font-size: 14px;">
    <div class="protonmail_signature_block-user protonmail_signature_block-empty">
        
            </div>
    
            <div class="protonmail_signature_block-proton protonmail_signature_block-empty">
        
            </div>
</div>