Agda Implementors’ Meeting XXV

The twenty-fifth Agda Implementors’ Meeting will take place in Gothenburg, Sweden from 2017–05–09 to 2017–05–15 (Tue to Mon). 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. Registration form

Talk proposals: You can propose a talk when you register, or afterwards using talk proposal form

2017–05–09 (Tu) to 2017–05–15 (Mo)

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.


You register for the meeting by filling out this registration form

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

Please register as soon as possible to help us with planning.


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, if you are have already done so, by using the talk proposal form.


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.

Friday 12th and Monday 15th the meeting will be in the Chalmers Conference Center, which is in front of the Chalmers tram stop. Look for room Valdemar or Ledningsrummet on the second floor.

Saturday 13th 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.


Sunday 14th May: Walking on the TBD from TBD to TBD. Bring:

  • outdoor shoes
  • water
  • lunch
  • rain gear / sun screen, depending on the weather
  • swimsuit & towel, if you are up to swimming in TBD
09:50 Meet at TBD
10:07 Bus TBD to TBD
10:27 Start hiking!
... hiking ... lunch ... swimming? ... coffee ...
18:00 We should be done.

Rough time estimate: Hiking (3 hours), breaks (2 hours), coffee (1 hour), trip back (1 hour). Café TBD or TBD.


Thursday, 11th May, 7pm, at TBD.

Daily Schedule

09:30 - 11:00   Session 1: Talks & Tutorials
10:45 - 11:15  Coffee
11:00 - 12:30   Session 2: Talks & Discussions
12:30 - 13:30 Lunch
13:30 - 15:00   Session 3: Code Sprints
15:00 - 15:30 Coffee
15:30 - 17:30   Session 4: Code Sprints
17:30 - 18:00   Wrap-up meeting: Results, Demos 

We meet at Chalmers Teknikpark (+46 31 772 42 42) in room Apollo.


  • Friday and Monday we meet in Chalmers Konferenscenter (in front of the Chalmers tramstop).
  • Saturday we meet in the Chalmers lunchroom (floor 8 of EDIT building).


(not etched)

Tu, May  9
10:15 Coffee
10:30 Personal introductions and sprint suggestions
12:30 Lunch

Wed, May 10
10:15 Coffee
12:30 Lunch

Thu, May 11
10:15 Coffee
12:30 Lunch

Fri, May 12
10:15 Coffee
12:30 Lunch

Sat, May 13
10:00 Meet at EDIT main entrance.
The door will be closed, so call +46705754236 (Victor) to let you in if you arrive later 
Then: Hacking in Chalmers EDIT lunchroom

Sun, May 14
09:50 Excursion (TBD)

Mon, May 15
10:15 Coffee
12:30 Lunch      

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.

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.


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.


You register for the meeting by filling out this form

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


Coffee breaks will be provided, as well as WIFI. If you don’t have access to ‘eduroam’, ask Víctor for a temporary user and password.

Meals are not covered. There are many options for lunch around campus; for example:


  • Jesper Cockx, KU Leuven
  • Víctor López Juan, Chalmers
  • Andrea Vezzosi, Chalmers
  • Mike Koel, Minneapolis
  • Kristen VerSteeg, Minneapolis
  • John Leo, Bellevue, Washington
  • Stephan Adelsberger, Vienna University of Economy
  • Andreas Abel, Gothenburg University
  • Peter Dybjer, Chalmers
  • Siavash Hamedani, Chalmers
  • Ulf Norell, Gothenburg University
  • Nils Anders Danielsson, Gothenburg University

Talk abstracts