The 37th Agda Implementors' Meeting will take place in Taipei, Taiwan from 20 to 25 Nov 2023, co-located with the 21st Asian Symposium on Programming Languages and Systems (APLAS'23). It will be hosted at the Institute of Information Science, Academia Sinica. It will be possible to attend the talks online, but the rest of the meeting is mostly in-person.
| Registration deadline | : 20 Oct 2023 (soft deadline) | |
| AIM XXXVII | : 20 – 25 Nov 2023 |
| Table of contents |
|---|
Program
Planning
| Monday, 20 Nov (Room TBA) | |
|---|---|
| 09:30 | Welcome |
| 10:30 | Coffee break |
| 11:00 | TBA |
| 12:30 | TBA |
| 13:30 | TBA |
| 15:30 | Coffee break |
| 16:00 | Wrap-up meeting |
| Tuesday, 21 Nov (Room TBA) | |
| 09:30 | TBA |
| 10:30 | Coffee break |
| 11:00 | TBA |
| 12:30 | TBA |
| 13:30 | TBA |
| 15:30 | Coffee break |
| 16:00 | Wrap-up meeting |
| Wednesday, 22 Nov (Room TBA) | |
| 09:30 | TBA |
| 10:30 | Coffee break |
| 11:00 | TBA |
| 12:00 | Lunch |
| TBA | On-campus museum excursion |
| Thursday, 23 Nov (Room TBA) | |
| 09:30 | TBA |
| 10:30 | Coffee break |
| 11:00 | TBA |
| 12:30 | TBA |
| 13:30 | TBA |
| 15:30 | Coffee break |
| 16:00 | Wrap-up meeting |
| Friday, 24 Nov (Room TBA) | |
| 09:30 | TBA |
| 10:30 | Coffee break |
| 11:00 | TBA |
| 12:30 | TBA |
| 13:30 | TBA |
| 15:30 | Coffee break |
| 16:00 | Wrap-up meeting |
| Saturday, 25 Nov (Excursion) | |
| TBA | TBA |
Talks Proposals
| An interesting title |
|---|
| Agda Wiki |
| Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur |
Discussion Proposals
| Something to talk about |
|---|
| Agda Wiki |
| Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur |
| Something to talk about |
|---|
| Agda Wiki |
Code Sprint Proposals
| Something doable or not |
|---|
| Agda Wiki |
| Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur |
| Something doable or not |
|---|
| Agda Wiki |
| Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur Lorem ipsum dolor sit amet, consectetur |
Organisation
Location
The meeting will take place at the Institute of Information Science, Academia Sinica, Taipei, Taiwan.
- Address: 128 Academia Road, Section 2, Taipei, Taiwan
Registration
To register, you can fill out the following form and send it to liang <dot> ting <dot> chen <dot> tw <at> gmail <dot> com. You can also directly fill your name in the section participants. In this case, you can also directly add a talk / discussion / code sprint proposal by copy and pasting the box examples.
If you can not attend in person, it will be possible to attend online the talks. You can register via email or directly by adding your name to the list.
| to: liang <dot> ting <dot> chen <dot> tw <at> gmail <dot> com |
| Subject: Registration for Agda Implementors' Meeting XXXVII |
|
Accommodation
The 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.
However, the number of pre-booked rooms is limited. If you need on-campus accommodation, please let us know and register before the registration deadline. We also prioritise underprivileged groups (students, independent researchers, etc.), if we run out of rooms.
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.
For the off-campus accommodation, see https://conf.researchr.org/attending/aplas-2023/accommodation.
Funding
TBA
Excursion
We plan to have a half-day museum excursion at Academia Sinica and an outdoor excursion on Wednesday and Saturday (shared with APLAS participants), depending on the weather conditions.
Participants
Attending in person
- Liang-Ting Chen
- Shin-Cheng Mu
- Hsiang-Shang ‘Josh’ Ko
- Ting-gian LUA (banacorn at GitHub)
- Jesper Cockx
- (your name here)
Attending online
- (your name here)
Sponsors
TBA
Wrap-up Notes
Note: For people reading the wrap-up notes, it is easier if they are grouped first by subject, then by date, rather than the other way around.
Monday 20 Nov
TBA
Tuesday 21 Nov
TBA
Wednesday 22 Nov
TBA
Thursday 23 Nov
TBA
Friday 24 Nov
TBA