Discussion:
AIM XXVII - Göteborg, 4 – 9 June 2018
(too old to reply)
Jesper Cockx
2018-04-11 09:37:50 UTC
Permalink
---------------------------------------------------------------
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
2018-04-11 09:42:08 UTC
Permalink
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
2018-04-11 09:43:07 UTC
Permalink
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.
--
/NAD
Jesper Cockx
2018-05-02 12:24:16 UTC
Permalink
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
Loading...