<div dir="ltr"><div>Just let you know that I have created a poll on Zulip. Here is the link </div><div><br></div><div><a href="https://agda.zulipchat.com/#narrow/stream/259645-developers/topic/AIM.20collocated.20with.20APLAS.20in.20Taiwan.3F/near/325380808" target="_blank">https://agda.zulipchat.com/#narrow/stream/259645-developers/topic/AIM.20collocated.20with.20APLAS.20in.20Taiwan.3F/near/325380808</a></div><div><br></div><div>Please feel free to ask any questions on Zulip or here.</div><div><br></div><div>-- Liang-Ting</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 2 Feb 2023 at 12:25, Liang-Ting Chen <<a href="mailto:liang.ting.chen.tw@gmail.com" target="_blank">liang.ting.chen.tw@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr">Hi everyone, <br><div class="gmail_quote"><div dir="ltr"><div><br></div><div>This year's APLAS will be hosted in Taipei, Taiwan in late November or early December.</div><div>Since it is expected to attract PL researchers to come to Asia, I'd like to propose hosting</div><div>an AIM here and letting it be collocated with APLAS'23.</div><div><br></div><div>Agda has been used widely in the study of PL. Particularly, there are users and contributors</div><div>based in Taiwan, including myself, Ting-Gian (banacorn at GitHub, the author of Agda Language Server),</div><div>and my colleagues; also from Japan, and Singapore.</div><div><br></div><div>To mitigate the climate impact, of course, we shouldn't travel too much and we should</div><div>merge our trips if possible. The last AIM in Asia was 4 years ago in Tokyo, Japan,<span> and</span></div><div>making it a collocated event should be morally legitimate. </div><div><br></div><div>Making it a collocated event may allow more interested people to come, as every</div><div>institute policy varies. We also have some general funding.</div><div><div><br></div><div>What do you think? Is anyone interested in coming? </div><br clear="all"><div>Cheers,</div><div>Liang-Ting</div><div><br></div>-- <br><div dir="ltr"><div dir="ltr">Dr Liang-Ting Chen<div>Institute of Information Science</div><div>Academia Sinica, Taiwan</div><div><br></div><div><a href="https://l-tchen.github.io" target="_blank">https://l-tchen.github.io</a><br></div></div></div></div></div>
</div></div>
</blockquote></div></div>