<div dir="ltr"><div><div><div>Dear Agda-loving people,<br><br></div>This is a quick reminder that the next Agda meeting will be held 4-9 June, which is only slightly more than a month from now! It would be very helpful for us organizers that you register soon if you already know you are coming. So far only 5 people are registered, surely we can do better than that.<br><br></div>Best regards,<br></div>Jesper<br><div><div><div><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_-5716013886638896701m_-8466811862499159448m_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_-5716013886638896701m_-8466811862499159448m_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_-5716013886638896701m_-8466811862499159448m_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" target="_blank">http://wiki.portal.chalmers.se</a><wbr>/agda/pmwiki.php?n=Main.AIMXXV<wbr>II<br>
<br>
Please spread the word about this meeting.<br>
<br>
Best regards,<br>Jesper<br></div>
</blockquote></div><br></div></div></div></div></div></div>