[Agda] AIM XXIV - Utrecht, October 10 - 14

[Wouter Swierstra]

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

The twenty-fourth Agda Implementors' Meeting will be held in Utrecht
from October 10 -- 14. 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.

To register, please fill out the following form:

  https://goo.gl/forms/YG8Q8L7QvSnA5n3T2

More information about the meeting will appear shortly on the website:

  http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXIV

Kind regards,

  Wouter