<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_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_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_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_924631385381039723m_-5356889299117758043gmail-il">AIMXXV</span></a><br>
<br>
Please spread the word about this meeting.<br>
<br>
Best regards,<br>Jesper<br></div>