Agda Implementors' Meeting XII

Program etc.

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.


Important dates

Deadline (soft) for registration
2010-09-01 to 2010-09-07

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.


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 (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


To plan travel inside the UK you can use or, for train travel,


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.
Roughly two hours via train to Nottingham.
The London airports can also be used, but expect to spend more time to get to Nottingham (for Stansted or Heathrow: roughly 3 hours).


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


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

 Additional comments:
Page last modified on September 01, 2010, at 01:23 pm
Powered by PmWiki