<div>Dear all,</div><div><br></div><div>thanks to Bengt and Andreas, we know the following</div><div>dates for AIM related meetings.</div><div><div><br></div><div>Please let us know the date for other meetings</div><div>in which many potential AIM</div>
<div>participants are interested would help, especially if the</div><div>date has not been advertised yet.</div><div><br></div><div>So far we know:</div><div><div><div><div><span class="Apple-style-span" style="border-collapse:collapse;color:rgb(34,34,34);font-family:arial,sans-serif;font-size:14px">ETAPS 16 - 24th of March 2013.</span></div>
<div><div>TYPES 23 - 26th of April 2013 (in Toulouse)</div><div>and of course we take these into account</div><div>when we decide the AIM XVII date.</div><div><br></div><div>Best wishes,</div><div><br></div><div>Yoshiki.</div>
<div><br></div><div><br><div class="gmail_quote">2012/5/19 Bengt Nordstrom <span dir="ltr"><<a href="mailto:bengt@chalmers.se" target="_blank">bengt@chalmers.se</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hallo!<br>
<br>
The annual Types workshop is preliminary going to take place on April<br>
23 - 26 (in Toulouse).<br>
<br>
Best regards,<br>
Bengt<br>
<div><div><br>
On Thu, May 17, 2012 at 7:00 PM, KINOSHITA Yoshiki<br>
<<a href="mailto:yoshiki-ml@aist.go.jp" target="_blank">yoshiki-ml@aist.go.jp</a>> wrote:<br>
> Dear all<br>
><br>
> In the end of AIM XV in Fischbachau, it seems there was established<br>
> an agreement that AIM XVII (the meeting next to AIM XVI to be held in<br>
> Copenhagen) is to be held in Japan in Spring 2013. There is already an<br>
> item in AIM meetings page for that(!).<br>
><br>
> So, I set up a Doodle poll for AIM XVII in the following URL:<br>
><br>
> <a href="http://www.doodle.com/mf2gtnw5k7rk8iav" target="_blank">http://www.doodle.com/mf2gtnw5k7rk8iav</a><br>
><br>
><br>
> Everyone who intend to attend AIM XVII is welcome to<br>
> declare his/her favourite date and unfavourite date there.<br>
><br>
> Also, information about meetings (which would be of interest<br>
> to many of potential AIM XVII participants) and other date<br>
> constraints would be welcome. Currently I know the following<br>
> (thanks to Andreas):<br>
><br>
> * ETAPS is from 16 - 24th of March 2013.<br>
> * Easter holidays are 29th of March to 1st of April 2013.<br>
> (Does every country have the same Easter holiday, or<br>
> it differs according to the country?)<br>
><br>
> Best wishes,<br>
><br>
> Yoshiki<br>
><br>
><br>
</div></div>> _______________________________________________<br>
> Agda mailing list<br>
> <a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
> <a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
><br>
<span><font color="#888888"><br>
--<br>
--<br>
Yoshiki Kinoshita, D.Sc.<br>
3-11-46,Nakoji<br>
Amagasaki,Hyogo<br>
661-0974 Japan<br>
phone: <a href="tel:%2B81-6-6494-8017" value="+81664948017" target="_blank">+81-6-6494-8017</a><br>
e-mail: <a href="mailto:yoshiki-ml@aist.go.jp" target="_blank">yoshiki-ml@aist.go.jp</a><br>
</font></span></blockquote></div><br></div>
</div></div></div></div></div>