[Agda] Reminder: AIM XXII is in one month!

[Jesper Cockx]

Dear all,

This is a gentle reminder that the twenty-second Agda Implementor's Meeting
will be held in Leuven 16-22 September, which is in one month. If you want
to attend, please fill out this form before 4 September:
http://goo.gl/forms/5wav2d9C6q (soft deadline). More information can be
found at http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXII.

Kind regards,

Jesper
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20150816/98014c99/attachment.html