[Agda] Agda Intensive Meeting (AIM XVII) registration closing soon

木下 佳樹 yiu44433 at nifty.com
Sat Apr 20 04:59:15 CEST 2013


Agda Intensive Meeting (AIM XVII) is to be held in Shonan, Japan from 8 May.
Registration is necessary for this time.
We will have to close the registration in a week (Fri 26 April).
If you are to participate, please register as instructed in
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXVII

Best wishes,

Yoshiki Kinoshita.



More information about the Agda mailing list