[Agda] AIM XXVII - Göteborg, 4 – 9 June 2018

[Jesper Cockx]

   ---------------------------------------------------------------
                   Agda Implementors' Meeting XXVII
                       Call for participation
    http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXVII
   ---------------------------------------------------------------

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:

  * Presentations concerning theory, implementation, and use cases of Agda
and other Agda-like languages.

  * Discussions around issues related to the Agda language.

  * Plenty of time to work in, on, under or around Agda, in collaboration
with other participants.

Registration
------------

You can register for the meeting by filling out the form below and emailing
it to Jesper <cockx at chalmers.se>.

There is no registration fee. Coffee breaks might be included.
Transportation, accommodation and meals are to be covered by the
participant.

-------8<--------------------------------------------------

    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:

-------------------------------------------------->8-------

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.
More information
----------------

Check out the wiki for travel suggestions and up-to-date information:

  http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXV

Please spread the word about this meeting.

Best regards,
Jesper
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180411/1019c8a7/attachment.html>