[Agda] AIM XVII registration being closed

木下 佳樹 yiu44433 at nifty.com
Tue Apr 23 05:49:28 CEST 2013


We are closing the AIM XVII registration.
On Fri 26 April (JST), the remaining pre booked room of the accommodation
will be freed, so that only a few registration will be possible after that.

At 15:00 (Japan Standard Time)  Thu 2 May, the registration is closed.

If you intend to attend AIM XVII and not booked yet,
REGISTER NOW according to the instructions in

Or, just drop me a line of e-mail RIGHT NOW,
if the registration is too complicated, 

Yoshiki Kinoshita
Organiser of AIM XVII
yiu44433 at nifty.com

More information about the Agda mailing list