Agda Implementors' Meeting XXVII

The twenty-seventh Agda Implementors' Meeting will take place in Göteborg, Sweden from 2018-06-04 to 2018-06-09 (Monday to Saturday). 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)
2018-06-04 (Mo) to 2018-06-09 (Sat)


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

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

    Registration form for Agda Implementors' Meeting XXVII


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

    Suggestions for code sprints (optional):

    Additional comments:

Note that if you want to stay at SGS Veckobostäder (see below) it may be wise to book a room as soon as possible.


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 Jesper.

  • John Leo: Musical Ornaments
  • Jesper Cockx: Prop for Agda: a universe of definitionally proof-irrelevant propositions

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

Detailed program



  • Jesper Cockx
  • Nils Anders Danielsson
  • John Leo
  • Andreas Abel
  • Sandro Stucki

Suggestions for code sprints and discussions

  • Continue Agsy rewrite (John Leo)
  • Creating online repositories for teaching material, formalizations, and tools/libraries for and in Agda (Sandro Stucki)


The meeting will be in Chalmers Teknikpark, which is a few minutes walking distance from Department of Computer Science and Engineering at Chalmers University of Technology (Campus Johanneberg). Look for room Apollon. A receptionist should be sitting by the entrance, and will be able to help you find your way.

Saturday the 9th the meeting will be in the lunch room of the department.

From the central train station, you can go to Chalmers by public transportation:

  • Tram 7 with direction Tynnered
  • Tram 13 with direction Sahlgrenska via Skånegatan
  • Bus 58 with direction Brottkärr

You can also go to Chalmers from the transportation hub Brunnsparken, a few minutes walk from the central station:

  • Tram 7 with direction Tynnered
  • Tram 10 with direction Guldheden
  • Bus 16 with direction Högsbohöjd
  • Bus 19 with direction Fredriksdal or Bifrost (get off at Chalmers Tvärgata)
  • Bus 58 with direction Brottkärr

A short walk from the tram stop at Chalmers will take you to the venue Chalmers Teknikpark for the meeting.


On June 6 (Wednesday) there will be a one-day excursion. If the weather permits, we will take the ferry to Vrångö in the Southern Göteborg Archipelago for a hike (4 km) and a barbecue on the beach.


  • a one-day Västtrafik ticket for the Göteborg area (95 kr).
  • comfortable shoes
  • water
  • rain gear / sun screen, depending on the weather
  • swimsuit & towel, if you are up for an attempt at swimming.

A precise timetable and other details will appear later.

Travel to Göteborg

Local airport: Landvetter. There is an airport shuttle operated by Flygbussarna that takes you to the city center. You can buy tickets online at a small discount, or on board with a credit card. A ticket local transport for 90 minutes is included in the shuttle ticket. Make sure to ask the bus driver for it before you leave the bus.

Göteborg is served by trains by SJ. For information how to get here from overseas, see for instance The Man in Seat Sixty-One... and Deutsche Bahn.

Travel inside Gothenburg

All local transport inside Gothenburg is managed by Västtrafik and its subcontractors. On trams, you can buy single tickets with a credit card on board for 29kr. You cannot buy tickets onboard buses. All tickets are valid on all trams, (blue) buses and ferries inside Gothenburg for 90 minutes.

Tickets can also be purchased at 7-Eleven and Pressbyrån, or via the app (Android and iOS). If you plan to travel daily, you can buy a reloadable card for 50 kr deposit + 100 kr minimum top-up. Each trip inside the city with a reloadable card or via the app costs of 26 kr. The deposit is used to cover the cost of a trip when there is not enough money on the card. It is possible for two or more of people to travel on the same card. Ask a local to help you use the card reader.


You may want to use SGS Veckobostäder (350 SEK/night for a single room if you stay for 8 nights). There are many other options.