AIMXXXX

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

To register, you can fill out the following form and send it to akaposi <at> inf <dot> elte <dot> hu. Please advice us, if you don't want your name to be added to this webpage. You can also (if you are okay with your name being public) directly fill your name in the section participants on this webpage using the edit option for it. 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. You can register via email or directly by adding your name to the list.

Participants

• Ambrus Kaposi (ELTE)
• Szumi Xie (ELTE)
• Balázs Kőműves (Faulhorn Labs / Codex (IFT))
• Péter DIviánszky (Faulhorn Labs)
• Jesper Cockx (TU Delft)
• Artjoms Šinkarovs (University of Southampton)
• Yee-Jian Tan (IP Paris/KU Leuven)

Talk proposals

Please add your proposals here by editing this webpage (using the edit button). You can refer to examples from previous Agda Implementors meetings.

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.

Excursion

One afternoon we will go to a thermal bath, and there will be likely a hiking excursion in the middle of the meeting, maybe on Wednesday (unless most people want to go hiking on Saturday). The hike will be an easy walk in the Buda hills, there is no need to take special equipment.