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.
Notes
Important dates
- 2010-08-01
- 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.
Location
The meeting will take place in the School of Computer Science at the University of Nottingham (map).
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
UK
To plan travel inside the UK you can use http://www.transportdirect.info/ or, for train travel, http://www.nationalrail.co.uk/.
International
- 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:
- East Midlands
- Just outside Nottingham, bus connection to the city centre. Most of the major airlines do not use this airport.
- Birmingham
- Roughly two hours via train to Nottingham.
Accommodation
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).
Excursion
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.
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 XII Name: Title and abstract (if you want to give a talk or lead a discussion): Additional comments: