[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

Best wishes,

Yoshiki Kinoshita.

More information about the Agda mailing list