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

[木下 佳樹]

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.