APLAS 2023
Sun 26 - Wed 29 November 2023 Taipei, Taiwan

The Agda Implementors’ Meeting is a meeting for users and developers who are interested in the Agda programming language and its related topics to share their work, exchange ideas, and learn about the latest developments in Agda and related areas. Whether you are an experienced Agda user or just getting started, we invite you to join us.

The meeting consists of

  • presentations concerning theory, implementation, and use cases of Agda and other Agda-like languages

  • discussions around issues related to the Agda language

  • code sprints to work in, on, under or around Agda, in collaboration with other participants,

and excursions. See the Agda wiki for preliminary information (with further updates there) and past meetings.

Call for participation

The 37th Agda Implementors’ Meeting (AIM) will take place in Taipei, Taiwan 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.


It is completely free to attend. If you are interested in attending or giving a talk, please either

  • (if you do not need the on-campus accommodation) add your name to the list the Agda wiki directly by adding your name to the list , or

  • provide the following information to the local organiser (Liang-Ting Chen) via the contact form with the subject Registration for Agda Implementors’ Meeting XXXVII:

* Name:
    * Online or In person:
* Affiliation (Optional):
* If you wish to give a talk:
    * Title
    * Short Abstract (Optional)
* If you wish to suggest a talk topic:
    * Topic
    * Short Description (Optional) I’m
* If you wish to suggest a code sprint:
    * Proposal
    * Short Description (Optional)
* Other comments:
* Will you require on-campus accommodation?
    * If so, please indicate your preferred dates of stay between 18–25 Nov.
* Please indicate any special requests or dietary restrictions:


For the list of talks, discussions, and code sprints, see the Agda wiki.

On-Campus Accommodation

On-campus accommodation operated by Academia Sinica is available to book during AIM XXXVII and APLAS’23. The accommodation venue is a few hundred metres away from the meeting venue and has recently been refurbished. Its rate is very low compared to local hotels in Taipei.

If you wish to extend your stay for APLAS, please also apply for on-campus accommodation from APLAS. We will merge your stay whenever possible.

However, the number of pre-booked rooms is limited. If you need on-campus accommodation, please let us know and register as early as possible. We also prioritise underprivileged groups (students, independent researchers, etc.), if we run out of rooms.


We have some funding available to support attendants. If you are interested in applying for funding, please contact the local organiser.

Local information

The local information about (off-campus) accommodation, transportation, and local attractions will be provided on the APLAS 2023 website.

We look forward to seeing you in Taipei for AIM XXXVII!

Questions? Use the AIM XXXVII contact form.