Discussion:
AIM XXVII - Göteborg, 4 – 9 June 2018
Add Reply
Jesper Cockx
2018-04-11 09:37:50 UTC
Reply
Permalink
Raw Message
---------------------------------------------------------------
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
Reply
Permalink
Raw Message
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
Reply
Permalink
Raw Message
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
Loading...