[Agda] AIM XXII: proposed date

[Jesper Cockx]

Dear all,

The twenty-second Agda Intensive / Implementors' Meeting will be held after
the summer break in Leuven, Belgium. While searching for possible dates, we
settled on a tentative date from 16/9 to 22/9. However, if this conflicts
with people's schedules, we can still move the date back to October. If you
would like to come to the Agda meeting, please indicate whether you will be
able to attend during the proposed dates using the poll below:

http://doodle.com/vcfbixwmpmx39pa6

We look forwards to welcome you to Leuven.

Best regards,
Jesper Cockx and Dominique Devriese
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20150616/7403e13c/attachment.html