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

[KINOSHITA Yoshiki]

Dear all,

thanks to Bengt and Andreas, we know the following
dates for AIM related meetings.

Please let us know the date for other meetings
in which many potential AIM
participants are interested would help, especially if the
date has not been advertised yet.

So far we know:
ETAPS 16 - 24th of March 2013.
TYPES 23 - 26th of April 2013 (in Toulouse)
and of course we take these into account
when we decide the AIM XVII date.

Best wishes,

Yoshiki.


2012/5/19 Bengt Nordstrom <bengt at chalmers.se>

> 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
> >
>
> --
> --
> Yoshiki Kinoshita, D.Sc.
> 3-11-46,Nakoji
> Amagasaki,Hyogo
> 661-0974 Japan
> phone: +81-6-6494-8017
> e-mail: yoshiki-ml at aist.go.jp
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20120519/8635aece/attachment.html