<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<div class="moz-cite-prefix">The link that was sent actually goes to
the last AIM. <a class="moz-txt-link-freetext" href="https://wiki.portal.chalmers.se/agda/Main/AIMXXXIV">https://wiki.portal.chalmers.se/agda/Main/AIMXXXIV</a>
does work.</div>
<div class="moz-cite-prefix">Jacques</div>
<div class="moz-cite-prefix"><br>
</div>
<div class="moz-cite-prefix">On 2021-May-08 05:30 , Jesper Cockx
wrote:<br>
</div>
<blockquote type="cite" cite="mid:CAEm=bowpS+i_b1BYW_BwJF-Zho9B-v0uu+q_d3NrqB6Ggwz5bA@mail.gmail.com">
<div dir="ltr">
<div>The thirty-fourth Agda Implementors' Meeting will take
place online from Monday 2021-06-07 to Friday 2021-06-12. The
meeting will be organized in a similar way to <span class="gmail-il">AIM</span> XXXIII, but the program is
spread over a single week instead of two. See the wiki for
details:</div>
<div><br>
</div>
<div> <a href="https://wiki.portal.chalmers.se/agda/Main/AIMXXXIII" target="_blank" moz-do-not-send="true"><span class="gmail-il">https://wiki.portal.chalmers.se/agda/Main/AIMXXXIV</span></a></div>
<div><br>
</div>
<div>You can register by editing the wiki page and adding your
name. Alternatively, you can register by sending me an email
with your name, affiliation, and time zone. Please also send
me an email if you would like to give a talk, preferably
before 2021-05-31.</div>
<div><br>
</div>
<div>Best regards,</div>
<div>Jesper</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
Agda mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a>
<a class="moz-txt-link-freetext" href="https://lists.chalmers.se/mailman/listinfo/agda">https://lists.chalmers.se/mailman/listinfo/agda</a>
</pre>
</blockquote>
<p><br>
</p>
</body>
</html>