[Agda] Agda meeting 16-22 September in Leuven, call for participation

Jesper Cockx Jesper at sikanda.be
Tue Jun 30 10:46:43 CEST 2015


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

The twenty-second Agda Implementors' Meeting will be held in Leuven 16-22
September (Wed to Tue). Everyone with a genuine interest in Agda is invited
to attend. The meeting will be similar to previous ones:

  * Presentations concerning theory, implementation, and use cases of Agda.

  * Discussions around issues of the Agda language.

  * Plenty of time to work on or in Agda, in collaboration with the other
participants.

To register for AIM XXII please fiil out this form:

    http://goo.gl/forms/5wav2d9C6q

The (soft) registration deadline is 4 September 2015.

For more information, please visit

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


Regards,

Jesper
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20150630/604bb859/attachment.html


More information about the Agda mailing list