Agda Implementors' Meeting XXX

The thirtieth Agda Implementors' Meeting will take place in Munich, Germany from 2019-09-11 to 2019-09-17 (Wednesday to Tuesday). The meeting will be similar to previous ones:

  • Presentations concerning theory, implementation, and use cases of Agda.
  • Discussions around issues of the Agda language.
  • Plenty of time to work on or in Agda, in collaboration with the other participants.

Important dates

Registration deadline (soft)
2019-09-11 (Wed) to 2019-09-17 (Tue)


You can register for the meeting by filling out the form below and emailing it to Chuangjie Xu.

There is no registration fee. Coffee breaks would be included. Transportation, accommodation and meals are to be covered by the participant.

    Registration form for Agda Implementors' Meeting XXX


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

    Suggestions for code sprints (optional):

    Additional comments:

Daily Schedule

Daily schedule
09.30Session 1: Talks & Discussions
10.30Coffee break
11.00Session 2: Talks & Discussions
13.15Code sprints
15.00Coffee break
15.30Code sprints
17.30Wrap-up meeting


  • Andreas Abel
  • Stephan Adelsberger
  • Evgenii Akentev
  • Guillaume Allais
  • Thorsten Altenkirch
  • Malin Altenmüller
  • Jesper Cockx
  • Alexandre Delanoe
  • Frederic Jouault
  • Wen Kokke
  • Connor Leahy
  • John Leo
  • Fredrik Nordvall Forsberg
  • Martin Molzer
  • Nicolas Pouillard
  • Stephan Sahm
  • Shaun Steenkamp
  • James Wood
  • Chuangjie Xu
  • ... your name could be here :)


The meeting will take place in Room B349 of our institute:

    Mathematisches Institut
    Ludwig-Maximilians-Universität München
    Theresienstr. 39
    80333 Munich
  • If you arrive by air at Munich Airport, the easiest way into the city is by the S-Bahn, the regional railway system. Take S-Bahn Line S1 or S8 (suburban trains) to Karlsplatz (Stachus). Then take Tram 27 (direction of Petuelring) or 28 (direction of Scheidplatz) to the tram stop Pinakotheken, which takes about 5 minutes (3 stops). The Math Institute is in the building right next to the tram stop. Tickets must be purchased at the ticket machines (ground floor near the escalators to the S-Bahn station in the airport). If you travel alone, you might want to buy an adult single day ticket (all zones) - if you are a group of two or more (up to five), you should buy an adult group ticket (all zones). Tickets must be validated (stamped) before entering the trains. In total the journey takes about 1 hour.
  • If you get to Munich by train, you can choose to buy either a single ride ticket, a day ticket, or a group day ticket (for groups up to five) - or even three-day versions of these. The Math Institute is located in the inner district, so "Innenraum" tickets are sufficient for getting from the central train station (Hauptbahnhof) to the Math Institute. You can take Bus 58 or 100, both leaving from the bus stop at the northern exit of the central train station (Hauptbahnhof Nord), to the bus stop Pinakotheken, which takes about 7 minutes (4 stops). Walk along Barer Straße to the north for 3 minutes. Then you will reach the building of the Math Institute.


The excursion will be a walk from Schliersee to Tegernsee on Sunday 15th September. The distance is about 14 km, with a climb of 600 m, on good paths. Please bring comfortable shoes (e.g. hiking boots or running shoes). There are several huts to stop at for refreshments on the way. More information e.g. meeting time and place will be updated later.

About Munich

The official website of the city of Munich is, where you can find information about the cultural life in Munich and a link to the tourist information. Here are some more links that might be useful:


The following accommodations provide special conditions for LMU. Please refer to these when booking via telephone or e-mail.


This meeting is supported by the LMUexcellent Junior Researcher Fund.