[Agda] Your favourite date for AIM XVII (Spring 2013)?

KINOSHITA Yoshiki yoshiki-ml at aist.go.jp
Thu May 17 19:00:55 CEST 2012

Dear all

In the end of AIM XV in Fischbachau, it seems there was established
an agreement that AIM XVII (the meeting next to AIM XVI to be held in
Copenhagen) is to be held in Japan in Spring 2013.  There is already an
item in AIM meetings page for that(!).

So, I set up a Doodle poll for AIM XVII in the following URL:


Everyone who intend to attend AIM XVII is welcome to
declare his/her favourite date and unfavourite date there.

Also, information about meetings (which would be of interest
to many of potential AIM XVII participants) and other date
constraints would be welcome.  Currently I know the following
(thanks to Andreas):

* ETAPS is from 16 - 24th of March 2013.
* Easter holidays are 29th of March to 1st of April 2013.
(Does every country have the same Easter holiday, or
it differs according to the country?)

Best wishes,

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20120518/3afb2ed0/attachment.html

More information about the Agda mailing list