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

Bengt Nordstrom bengt at chalmers.se
Sat May 19 13:05:26 CEST 2012


Hallo!

The annual Types workshop is preliminary going to take place on April
23 - 26 (in Toulouse).

Best regards,
Bengt

On Thu, May 17, 2012 at 7:00 PM, KINOSHITA Yoshiki
<yoshiki-ml at aist.go.jp> wrote:
> 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:
>
> http://www.doodle.com/mf2gtnw5k7rk8iav
>
>
> 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,
>
> Yoshiki
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>


More information about the Agda mailing list