Agda Implementors' Meeting XXXVII

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:30Welcome
10:30Coffee break
11:00TBA
12:30TBA
13:30TBA
15:30Coffee break
16:00Wrap-up meeting
Tuesday, 21 Nov (Room TBA)
09:30TBA
10:30Coffee break
11:00TBA
12:30TBA
13:30TBA
15:30Coffee break
16:00Wrap-up meeting
Wednesday, 22 Nov (Room TBA)
09:30TBA
10:30Coffee break
11:00TBA
12:00Lunch
TBAOn-campus museum excursion
Thursday, 23 Nov (Room TBA)
09:30TBA
10:30Coffee break
11:00TBA
12:30TBA
13:30TBA
15:30Coffee break
16:00Wrap-up meeting
Friday, 24 Nov (Room TBA)
09:30TBA
10:30Coffee break
11:00TBA
12:30TBA
13:30TBA
15:30Coffee break
16:00Wrap-up meeting
Saturday, 25 Nov (Excursion)
TBATBA

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
  • Name:
  • Online or In person:
  • Affiliation:
  • If you wish to give a talk:
    • Title
    • Short Abstract (Optional)
  • If you wish to suggest a talk topic:
    • Topic
    • Short Description (Optional)
  • If you wish to suggest a code sprint:
    • Proposal
    • Short Description (Optional)
  • Other comments:
  • Will you require on-campus accommodation? (Yes / No)
    • If so, please indicate your preferred dates of stay between 18–25 Nov:
  • Please indicate any special requests or dietary restrictions.

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

Page last modified on May 22, 2023, at 12:37 PM
Powered by PmWiki