The fortieth Agda Implementors' Meeting will take place in Budapest, Hungary from 2025-05-26 to 2025-05-31 (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.
Registration
You can add your name below or write an email to Ambrus.
Participants
- Ambrus Kaposi
- Szumi Xie
Location
The location is EIT Digital Co-Location Centre of ELTE (Eötvös Loránd University) in Budapest, Hungary. Google Maps Link. There is a plastic red running path around the building. The entrance is from the back on the right hand side. There will be signs saying AIMXXXX. The building is five minutes walk from where the TYPES 2017 conference was.
Address:
EIT Digital Budapest Node | Co-Location Centre
10/a Bogdánfy Street
H-1117 Budapest
Hungary
(corner of Warga László Str. and Bogdánfy Str.)
GPS: N 47°28'28" E 19°3'27"
Currency
The currency is Hungarian Forint (HUF), around 400 HUF is worth 1 Euro. You can use debit/credit cards in almost every shop and restaurant, cash is rarely needed.
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 bahn.de, buy tickets online from the respective train companies.
- By car: you have to pay for on-street parking near the venue, except at weekends. The easiest way to pay parking is a mobile app, e.g. Parkl.
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. You can pay using credit/debit card on the bus, no need to buy separate ticket (but possible from a purple machine next to the bus stop). It runs day and night, very regularly.
- You can use minibus service or taxi, but I wouldn't.
- You can cycle if you bring your bicycle on the plane: CyclOSM knows about the cycle paths.
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. You can buy a monthly ticket for around 9000 HUF, or use individual tickets or use the BudapestGO app on your phone.
- Public bicycle: you can use the green public bicycles in the city centre, see BUBI website for information (BUBI = Budapest Bicycle).
- Walking is cheap and nice.
Accommodation
Services such as booking.com and airbnb.com are known to work well in Budapest.
The judgemental map of Budapest is quite accurate about what the different areas are like. The venue is in the "more nerds" area.
