[Agda] AIM XXV - Gothenburg, May 9 - 15

Víctor López Juan victor at lopezjuan.com
Wed Feb 22 17:29:44 CET 2017


   ---------------------------------------------------------------
                   Agda Implementors' Meeting XXV
                       Call for participation
    http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXV
   ---------------------------------------------------------------

The twenty-fifth Agda Implementors' Meeting will be held in Gothenburg,
Sweden from May 9 – 15 (Tue to Mon). 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
------------

To participate, please fill out the following form before April 30:

  http://framaforms.org/registration-for-aim-xxv-1487690243

There is no registration fee.

Each participant covers their own transportation, accommodation and meals.

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


Best regards,
Víctor


More information about the Agda mailing list