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.
- 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.
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...).
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 Name: Title and abstract (if you want to give a talk or lead a discussion): Additional comments: