Date: Thu, 17 Jun 2010 16:15:39 +0100
Subject: ITP Conference-Edinburgh Tour

Dear ITP attendee,

As part of the forthcoming ITP conference we have arranged some
extra-curricular excursions to give you the chance to see another
side of Edinburgh  (more sinister even than theorem proving).

There is a choice between two walking tours:

   Historical Vaults Tour
   http://www.mercattours.com/the-historic-vaults.asp

   Mary King's Close
   http://www.realmarykingsclose.com/

The first tour is partly above ground and partly inside, the second
tour is wholly inside and involves less walking.  Neither tour is
strenuous, but both involve steps and confined spaces.  Please check
the links above and tour companies directly for more information.

These are small group tours which are scheduled between J Moore's FLoC
keynote and the conference banquet, between 4pm-6pm.  Each tour lasts
about an hour and there will be a good amount of time to get from the
conference location to the tour start.  We'll recommend some nearby
local taverns to meet in before and after.

The cost for each tour is £10 which will be collected during ITP
breaks.  Please fill in the following Doodle poll to let us know if
you would like to take part and which tour you would prefer. Please 
choose 'No Tour' if you do not wish to take part so that we are not 
expecting extra responses.

   http://tinyurl.com/itp-tour

Booking is open to ITP participants and accompanying friends/family
members but there are a limited number of spaces so it would help us
if you select a booking as possible so we can take action in case of
over-subscription.  In particular we cannot guarantee that there will
be spaces left on your chosen tour at the start of the conference.

If you have any questions, please feel free to reply to this email.

We look forward to seeing you July,

Best wishes,

David Aspinall and Sarah Reay
(ITP Local arrangements)