Agda Implementors' Meeting XIII

Program etc.

The thirteenth Agda Implementors' Meeting will take place in Göteborg 2011-04-06 to 2011-04-12 (Wed to Tue). Everyone who uses Agda is invited to attend. The meeting will be similar to previous ones:

  • Presentations and discussions.
  • Plenty of time to work on or in Agda, in collaboration with the other participants.

Important dates

Deadline (soft) for registration
2011-04-06 to 2011-04-12

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.


The meeting will take place in the Department of Computer Science and Engineering at Chalmers University of Technology (Campus Johanneberg).

To get to the department from central Göteborg you can take a tram or a bus; local stops include Chalmers and Engdahlsgatan.

If you have trouble finding your way you can call one of the organisers: Nils Anders Danielsson (+46-700 620 602) or Ana Bove (+46-704 87 44 26).

Travel to Göteborg

Göteborg is served by trains (see, for instance, The Man in Seat Sixty-One...).

Local airports: Landvetter and Göteborg City Airport.


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


There will most likely be an excursion on Saturday, 2011-04-09. The details have not been finalised yet.


You register for the meeting by filling out the form below and emailing it to Nils Anders.

Attendance is free, but participants need to cover all expenses (such as food) themselves.

If you want to give a talk, or lead a discussion on some subject, indicate so on the registration form. We will let you know whether your proposal is accepted closer to the meeting. (The "code sprints" form the core of the meeting, so we do not want to spend too much time on talks and discussions.)

 Registration form
 Agda Implementors' Meeting XIII


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

 Additional comments:
Page last modified on March 15, 2011, at 02:27 pm
Powered by PmWiki