<div dir="ltr"><div><div>Correction: the link at the bottom should be <a href="http://wiki.portal.chalmers.se">http://wiki.portal.chalmers.se</a><wbr>/agda/pmwiki.php?n=Main.AIMXXV<wbr>II<br><br></div>Best regards,<br></div>Jesper<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Apr 11, 2018 at 11:37 AM, Jesper Cockx <span dir="ltr"><<a href="mailto:Jesper@sikanda.be" target="_blank">Jesper@sikanda.be</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"> ------------------------------<wbr>------------------------------<wbr>---<br>
Agda Implementors' Meeting XXVII<br>
Call for participation<br>
<a href="http://wiki.portal.chalmers.se" target="_blank">http://wiki.portal.chalmers.se</a><wbr>/agda/pmwiki.php?n=Main.AIMXXV<wbr>II<br>
-----------------------------<wbr>------------------------------<wbr>----<br>
<br>
The twenty-seventh Agda Implementors' Meeting will be held in Göteborg, Sweden June 4 – 9 (Mon to Sat). Anyone with an interest in Agda is invited to attend. The meeting will be similar to previous ones:<br>
<br>
* Presentations concerning theory, implementation, and use cases of Agda and other Agda-like languages.<br>
<br>
* Discussions around issues related to the Agda language.<br>
<br>
* Plenty of time to work in, on, under or around Agda, in collaboration with other participants.<br>
<br>
Registration<br>
------------<br>
<p>You can register for the meeting by filling out the form below and emailing it to Jesper <<a href="mailto:cockx@chalmers.se" target="_blank">cockx@chalmers.se</a>>.
</p>
<p class="m_-893280217424205962m_924631385381039723m_-5356889299117758043gmail-vspace">There is no registration fee. Coffee breaks might be
included. Transportation, accommodation and meals are to be covered by
the participant.
</p>
<div class="m_-893280217424205962m_924631385381039723m_-5356889299117758043gmail-vspace"></div><pre>-------8<---------------------<wbr>-----------------------------<br><br> Registration form for Agda Implementors' Meeting XXVII
Name:
Title and optionally abstract (if you want to give a talk or lead a discussion):
Suggestions for code sprints (optional):
Additional comments:<br><br>------------------------------<wbr>-------------------->8------- </pre><p class="m_-893280217424205962m_924631385381039723m_-5356889299117758043gmail-vspace">Note that if you want to stay at SGS Veckobostäder (see wiki) it may be wise to book a room as soon as possible.
</p>
More information<br>
----------------<br>
<br>
Check out the wiki for travel suggestions and up-to-date information:<br>
<br>
<a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXV" rel="noreferrer" target="_blank">http://wiki.portal.chalmers.se<wbr>/agda/pmwiki.php?n=Main.<span class="m_-893280217424205962m_924631385381039723m_-5356889299117758043gmail-il">AIMXXV</span></a><br>
<br>
Please spread the word about this meeting.<br>
<br>
Best regards,<br>Jesper<br></div>
</blockquote></div><br></div>