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

[Jesper Cockx]

Correction: the link at the bottom should be http://wiki.portal.chalmers.se
/agda/pmwiki.php?n=Main.AIMXXVII

Best regards,
Jesper

On Wed, Apr 11, 2018 at 11:37 AM, Jesper Cockx <Jesper at sikanda.be> wrote:

>    ---------------------------------------------------------------
>                    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/158f2ec6/attachment.html>