<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" data-smartmail="gmail_signature"><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>