Agda Implementors' Meeting XXVI

The twenty-sixth Agda Implementors' Meeting will take place in Budapest, Hungary from 2018-01-29 to 2018-02-03 (Mon to Sat). 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.

Local organisers: Ambrus Kaposi, András Kovács, Balázs Kőműves, Péter Diviánszky.

Important dates

Registration deadline (not strict).
2018-01-29 (Mon) to 2018-02-03 (Sat)


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

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

    Registration form
    Agda Implementors' Meeting XXVI


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

    Suggestions for code sprints (optional):

    Additional comments:


Presentations on theory, implementation, and use cases of Agda and type theory are welcome.

If you would like to present something, you can propose a talk either when you register, or, write an email to Ambrus


  • John Leo
  • Ambrus Kaposi




The location is Faculty of Informatics, Eötvös Loránd University, Budapest, Hungary.


The currency is Hungarian Forint (HUF), around 300 HUF is worth 1 Euro. You can use debit/credit cards in almost every shop and restaurant, but you may need cash in small pubs. The cheapest way to get cash is from an exchange bureau in the city centre. Ask your hotel or follow these instructions.

Travel to Budapest

  • By flight to Budapest Liszt Ferenc International Airport.
  • By train: 2.5 hours journey from Vienna, direct trains from Berlin, Munich, Prague, Warsaw, Zurich etc. Search trains on, buy tickets online from the respective train companies. International tickets from the Hungarian train company have to be printed at a kiosk at a train station in Hungary.
  • By car: you can park your car next to the university for free at your own risk.

Travel from the airport to the city centre

  • BKK bus 100E takes you to the city centre metro station Deák Ferenc tér. The bus starts just outside the terminal building. It starts on the hour and on the half-hour. You need a special ticket for it which costs 900 HUF (3 euros). You can buy this from the driver or from machines next to the bus stop at the airport. Google maps journey planner knows about the timetable.
  • Airport minibus service, you can book it online or at the terminal in person after arrival.
  • You can take a taxi from the airport, it is recommended to book a taxi at the Főtaxi kiosk just outside the terminal building.

Travel within the city centre

  • Public transportation (BKK) is the fastest and cheapest way to get around in Budapest. You can use Google maps to plan your journey, it knows about all bus, trolley bus, tram and metro lines. It is recommended to buy a 5/30 BKK travelcard for 4550 HUF at the airport, you can use this for 5 times 24 hours during a month. Alternatively, you can buy 10 tickets for 3000 HUF: one ticket is only valid for a single bus/tram ride, if you change to another bus, you have to validate a new ticket (however you can change metro lines with a single ticket). You can buy tickets at the kiosk at the airport or from the ticket machines which accept debit/credit cards. There are machines next to the bus stop at the airport and at all metro stations, and at most tram stops. The conference venue is near the following BKK stops:
  • Public bicycle: you can use the green public bicycles in the city centre, see BUBI website for information (BUBI = Budapest Bicycle). There is a BUBI docking station next to the conference venue. A weekly pass is 2000 HUF, and you can use a bicycle for 30 minutes without paying extra. You can buy a pass at the airport BKK kiosks or BKK Customer Service Points.
  • Walking is cheap and nice.


Services such as and are known to work well in Budapest.

The judgemental map of Budapest is quite accurate about what the different areas are like. The conference venue is in the "more nerds" area.