[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 <***@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

[Jesper Cockx]

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

Best regards,
Jesper

Post by 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
* 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
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
-------------------------------------------------->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
----------------
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXV
Please spread the word about this meeting.
Best regards,
Jesper

[Nils Anders Danielsson]

Post by Jesper Cockx
More information
----------------
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXV

This should presumably be
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXVII.

[Jesper Cockx]

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

Post by 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
* 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
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
-------------------------------------------------->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
----------------
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXVII
Please spread the word about this meeting.
Best regards,
Jesper