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