[Agda] AIM XX

[Jesper Cockx]

Dear all,

On the page of AIM XIX (
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXIX) it still says
that there are three possible dates for AIM XX (25-29 Aug, 4-10 Sep or 8-12
Sep). Is there any concrete information which of these dates has been
chosen (if any)? I'd very much like to know before the end of this week,
because otherwise I won't be able to attend.

Cheers,
Jesper
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140728/ac1cd516/attachment.html