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

Jesper Cockx Jesper at sikanda.be
Wed May 2 14:24:16 CEST 2018


Dear Agda-loving people,

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.

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.AIMXXVII
>
> 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/20180502/f2ec5bb6/attachment.html>


More information about the Agda mailing list