The twelfth Agda Implementors' Meeting will take place in Nottingham 2010-09-01 to 2010-09-07 (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
- 2010-09-01 to 2010-09-07
- AIM XII
Note that if you want to stay at the National College (see below) it may be wise to book a room as soon as possible.
To get to the department from central Nottingham you can take a taxi. You can also go by bus, see http://triptimes.co.uk/ (use "University of Nottingham, Jubilee Campus" as the destination).
If you have trouble finding your way you can call one of the organisers: Nils Anders Danielsson (+44-7984866854) or Thorsten Altenkirch (+44-7941398649).
Travel to Nottingham
- By train
- People on the continent can get to Nottingham by taking the Eurostar to London and then taking another train to Nottingham.
- By air
- We recommend using one of the following airports:
There is accommodation available at the National College, which is located a short walk away from the school (£90/night). To book you can phone +44-115†872†2500. Another option is to stay at the P&J†Hotel, roughly 1.2†km away (£44.25-£120/night).
On Saturday, 2010-09-04, we plan to walk in the Peak District, weather permitting. You may want to bring good shoes or boots for walking, and something to protect you in case of sudden bad weather. The plan is to walk in the area of Edale and Castleton.
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 XII Name: Title and abstract (if you want to give a talk or lead a discussion): Additional comments: