[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