<div><div><div><div dir="auto">-------------------------------------------------------------------------------</div><div dir="auto"><br></div><div dir="auto">                                     Agda Implementors’ Meeting XXXVII</div><div dir="auto"><br></div><div dir="auto">                                                      co-located with</div><div dir="auto">           the 21st Asian Symposium on Programming Languages and Systems</div><div dir="auto"><br></div><div dir="auto">                                                  Call for Participation</div><div dir="auto"><br></div><div dir="auto">                 <a href="https://conf.researchr.org/home/aplas-2023/aim-xxxvii" target="_blank">https://conf.researchr.org/home/aplas-2023/aim-xxxvii</a></div><div dir="auto"><br></div><div dir="auto">-------------------------------------------------------------------------------</div><div dir="auto"><br></div><div dir="auto">The 37th Agda Implementors’ Meeting (AIM) will take place in <b>Taipei, Taiwan</b></div><div dir="auto">from 20 Nov (Monday) to 25 Nov (Saturday), 2023. This meeting is co-located with the 21st Asian Symposium on Programming Languages and Systems (APLAS) starting from 26 Nov.</div><div dir="auto"><br></div><div dir="auto">About</div><div dir="auto">----------------------------------</div><div dir="auto">The Agda Implementors’ Meeting is a meeting for users and developers who are</div><div dir="auto">interested in the Agda programming language and its related topics to share</div><div dir="auto">their work, exchange ideas, and learn about the latest developments in Agda and</div><div dir="auto">related areas. Whether you are an experienced Agda user or just getting</div><div dir="auto">started, we invite you to join us.</div><div dir="auto"><br></div><div dir="auto">The meeting consists of</div><div dir="auto"><br></div><div dir="auto">* Presentations concerning theory, implementation, and use cases of Agda and</div><div dir="auto">  other Agda-like languages, </div><div dir="auto"><br></div><div dir="auto">* Discussions around issues related to the Agda language, and</div><div dir="auto"><br></div><div dir="auto">* Code sprints to work in, on, under or around Agda, in collaboration with</div><div dir="auto">  other participants.</div><div dir="auto"><br></div><div dir="auto">See the Agda wiki (<a href="https://wiki.portal.chalmers.se/agda/Main/AgdaMeetings" target="_blank">https://wiki.portal.chalmers.se/agda/Main/AgdaMeetings</a>) for</div><div dir="auto">preliminary information (with further updates there) and past meetings. </div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto">Registration</div><div dir="auto">----------------------------------</div><div dir="auto"><br></div><div dir="auto">It is completely free to attend. Please visit one of the following links to</div><div dir="auto">find the registration information:</div><div dir="auto"><br></div><div dir="auto">Website: <a href="https://conf.researchr.org/home/aplas-2023/aim-xxxvii" target="_blank">https://conf.researchr.org/home/aplas-2023/aim-xxxvii</a></div><div dir="auto"><br></div><div dir="auto">Wiki: <a href="https://wiki.portal.chalmers.se/agda/Main/AIMXXXVII#Registration" target="_blank">https://wiki.portal.chalmers.se/agda/Main/AIMXXXVII#Registration</a></div><div dir="auto"><br></div><div dir="auto">Funding</div><div dir="auto">----------------------------------</div><div dir="auto"><br></div><div dir="auto">We may have some funding available to support attendants. If you are interested</div><div dir="auto">in applying for funding, please contact the local organiser.</div><div dir="auto"><br></div><div dir="auto">Local information</div><div dir="auto">----------------------------------</div><div dir="auto"><br></div><div dir="auto">The local information about (off-campus) accommodation, transportation, and</div><div dir="auto">local attractions will be provided on the APLAS 2023 website.</div><div dir="auto"><br></div><div dir="auto">We look forward to seeing you in Taipei for AIM XXXVII!</div>
</div>
</div>
</div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">Dr Liang-Ting Chen<br>Institute of Information Science<br>Academia Sinica, Taiwan<br><br><a href="https://l-tchen.github.io">https://l-tchen.github.io</a></div>