[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