Agda Implementors' Meeting XXIX

The twenty-ninth Agda Implementors' Meeting will be held in Tokyo, Japan at Ochanomizu University from 13 March 2019 to 19 March 2019 (Wednesday to Tuesday). The plan is to have:

  • Talks and presentations about the theory, implementation, and use cases of Agda.
  • Many discussions about Agda, including potential new features, goals, milestones.
  • Plenty of time to work on or in Agda, in collaboration with the other participants.

Important dates

Registration deadline

The deadline is soft, and if you miss it, you will still be very welcome to come. However, we would appreciate it if you could drop a line to Youyou.

2019-3-13 (Wed) to 2019-3-19 (Tue)



If you are a citizen of countries listed here, you can visit Japan without applying for a visa. Otherwise, please contact Youyou.

Power adaptor

If you are traveling from Europe, you might need a power adaptor. Please visit this website for more information.


Please register for this meeting by filling out the form below and sending it to Youyou.

There is no registration fee. Coffee breaks may be included. Transportation, accommodation and meals are to be covered by the participant. There will be an excursion which may cause additional costs for the participants as well. The details of excursion are to be decided, but if you have any preferences/suggestions (e.g., interested in old towns), please indicate in the registration form.

    Registration form
    Agda Implementors' Meeting XXIX


    Title and abstract (if you want to give a talk or lead a discussion; optional):

    Suggestions for code sprints (optional):

    Other remarks (optional):


  • Youyou Cong
  • Kenichi Asai
  • Haruka Matsumoto
  • Urara Yamada
  • Naho Wakikawa
  • Chiaki Ishio
  • Tsukino Furukawa
  • Mai Kitagawa
  • John Leo
  • Jesper Cockx
  • Andreas Abel
  • Zack Grannan
  • Shinji Kono
  • ... your name could be here :)


The meeting will take place in Room 602 of Faculty of Science, Building 3 (marked 20 in this map).

    Ochanomizu University
    2-1-1 Otsuka, Bunkyo-ku, Tokyo 112-8610, Japan

We could meet up at the Myogadani Station on the first day and walk to the campus together.

Travel to Tokyo by Plane

Tokyo is served by two airports: Haneda (HND) Narita (NRT). Haneda airport is closer to the city center, but direct flights from U.S./European countries are limited.


There are a lot of hotel options in the Ikebukuro area, which is two stops away from the campus. We will list some recommendations shortly.


Lunch is not included, but the university has a cafeteria, where you can find reasonably priced (and not so bad) food. There are also several restaurants and convenience stores around the campus. Note that Japan is not vegetarian-friendly. If you have any dietary restrictions, Youyou will help you find things that meet your needs.