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
- 2011-03-06
- Deadline (soft) for registration
- 2011-04-06 to 2011-04-12
- AIM XIII
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.
Location
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.
Accommodation
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.
Excursion
There will most likely be an excursion on Saturday, 2011-04-09. The details have not been finalised yet.
Registration
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 Name: Title and abstract (if you want to give a talk or lead a discussion): Additional comments: