[Agda] AIM XVII registration being closed
木下 佳樹
yiu44433 at nifty.com
Tue Apr 23 05:49:28 CEST 2013
Hi,
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
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXVII
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