[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
More information about the Agda