[Agda] AIM XX

Jesper Cockx Jesper at sikanda.be
Mon Jul 28 10:46:50 CEST 2014


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


More information about the Agda mailing list