ICFP 2009 Local Arrangements
The 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009)
Royal College of Physicians, Edinburgh, Scotland
31st August—2nd September 2009
Venue
The conference venue is the Royal College of Physicians of Edinburgh.
Accommodation
We have arranged for hotel accommodation to be reserved through the Edinburgh Convention Bureau. Follow this link for a description of the accommodation and a link to the booking form.
We recommend early booking, since the conference dates overlap with those of the Edinburgh Festival. For those on a tight budget, Edinburgh also has a variety of hostel and bed/breakfast accommodation, but this must be booked privately.
Please note that the bookings in the accommodation system were only reserved until Monday 20 July. Bookings may still be available, but are at the discretion of the individual sites. If you need additional assistance with bookings, please contact bookings@conventionedinburgh.com directly.
Travel
You can find comprehensive information on travel to Edinburgh on the Visit Scotland page Getting to Edinburgh. Some additional specific information is below.
Plane
Edinburgh airport (EDI) is the most convenient. A cab to the city centre takes about 20 minutes and costs about £20. Airlink runs a shuttle to Waverley steps that takes 25 minutes and costs £3.50 one-way or £6.00 return. Airport buses run every 15 minutes throughout the day, and pick up/drop off outside Haymarket station, in Shandwick Place (west end), Princes St, and on the bridge to the West of Waverley station (Waverley steps).
From Glasgow airport (GLA), Citylink runs a shuttle to St Andrews Bus Station in Edinburgh city centre that takes about two hours and costs about £11. Citylink also runs a shuttle to Buchanan Street Bus Station in Glasgow city centre that takes 25 minutes and costs £4.20, you can then walk to Glasgow Central Train Station and catch a train to Edinburgh Waverley Station that takes 45 minutes and cost about £10, or catch another bus to Edinburgh bus station.
Budget airlines including EasyJet, RyanAir, Jet2, BMI, GermanWings and Globespan fly from Edinburgh to/from many UK/European destinations, including London, Birmingham, Nottingham, Bristol, Cardiff, Bournemouth, Belfast, Dublin, Shannon, Paris, Marseille, Lyon, Nice, Toulouse, Geneva, Milan, Bologna, Turin, Pisa, Rome, Madrid, Barcelona, Bremen, Cologne, Stuttgart, Dusseldorf (Weeze), Frankfurt (Hahn), Munich, Dresden, Leipzig, Berlin, Stockholm and many Eastern European destinations.
Continental Airlines and Delta offer direct flights between Edinburgh and New York, and Globespan and Canadian Affair fly to/from Toronto. Otherwise fly via one of the major European hubs (London, Amsterdam, Frankfurt or Paris).
A full list of airlines and destinations can be found here.
Glasgow airport offers a similar range of destinations, and Ryanair also fly to/from the rather less convenient Prestwick airport (about 2.15 hours by train/bus to/from Edinburgh; change in Glasgow - note that if you travel by train, you will need to transfer station from Central to Queen St - there is a shuttle bus).
Train
Edinburgh Waverley Station is the most convenient for downtown, and the terminus for many trains in either direction. Trains to/from the North or Glasgow also stop at Haymarket in the West of the city. Local trains run to some suburbs, and to Fife, but within the city are generally not competitive with the bus in time/cost/frequency. Fast trains to/from Glasgow run every 15 minutes from both main stations. There is no train to/from the airport.
There are (scenic!) railway lines to Pitlochry, Aviemore, Inverness, Fort William (change in Glasgow), Mallaig (for Skye via Fort William, change in Glasgow), Kyle of Lochalsh (for Skye; change in Inverness), Thurso/Wick (for Orkney; change in Inverness). Journey times can be very iong, especially after Inverness. Corrour Halt is the most isolated station in the UK, with no road access (and no houses!!). There is a bunkhouse on the station and a youth hostel! Don't get left behind here!
The national rail enquiry website gives train times and prices, or you can ask at the station. Buy tickets before you travel. For long journeys, booking in advance and fixing train times can be significantly cheaper. It is sometimes also cheaper to buy two single tickets than one return ticket.
Long-Distance Buses
Express buses from the main bus station operate to many parts of the Highlands, including Glencoe, Fort William, Skye, Inverness, Ullapool. These can be good ways to get into the Scottish Highlands, and are much cheaper than the train, but keep an eye on the bus schedules! Buses also operate to the borders, Glasgow, Dundee, Perth and Fife, as well as many parts of England (but journey times can be high!). Most of the long distance buses are run by National Express. Buses to the borders are run by several companies, including First Group
Local Transport in Edinburgh
Local buses are mainly run by Lothian Buses (red and white buses), who have an interactive route map. Buses run frequently throughout the day, with restricted routes for night buses between midnight and 4am. Local buses are fixed fare and no change is given. Pay when you board the bus. A single ticket (any journey length) is £1.20. A one-day ticket can be bought on the bus and offers unlimited travel for £3 (not valid on the Airlink buses). A one-week ticket costs £15 and is available from three city centre locations. Most city centre destinations are within 15-30 mins walk.
Taxis are metered, but expensive. Look for black cabs, with amber lights indicating they are available. They will pick up anywhere in the street, except near a taxi rank, where there is a queuing system. A taxi from the airport will cost £20. A taxi from the RCPE venue to Leith Waterfront about £5-7
Car Hire
There are many car hire companies operating both from the airport and from locations in the city (but mostly a little way out of the centre). The usual cost is about £25 per day for a small car. Make sure you have adequate insurance, and check the car thoroughly for any damage before you set off. A small scratch can be very expensive, and may not be covered by the standard insurance! Petrol/diesel is about £1 per litre. Watch out for any mileage limits, and return the car full of fuel to avoid expensive refuelling charges. Driving in the UK is generally not difficult, and most other drivers are well mannered. Remember to drive on the left (especially if travelling in the Highlands, where it isn't always obvious on small roads!), and watch out for the large number of roundabouts (traffic circles), especially in built up areas.
Holiday Autos usually offer good value, by reselling other companies excess capacity, and are worth checking for price comparisons. Full insurance is included: this often undercuts the host company's equivalent offer.
Edinburgh Festival
- 14 August—6 September 2009 Edinburgh International Festival
- 7—31 August 2009 Edinburgh Fringe Festival
- 15—31 August 2009 Edinburgh International Book Festival
There will be a spectacular Fireworks display on 6 September 2009 from 21:00. It will be visible from many parts of the city. You can buy tickets (they go quickly) to sit on the lawn in the park, or for free you can stand in Princes Street (which will be closed to traffic), but arrive early, since there will be many thousands of other revellers, and the police control the access!
Extend your visit
Edinburgh Convention Bureau runs a site site to help you extend your visit, if you wish.
Restaurants
Food in Britain is qualitatively better than even a few years' ago. Edinburgh has many good restaurants in the centre and in main residential areas. Most open until 23:00/00:00. Note that menu prices often increase during the festival, and that many good restaurants offer much cheaper "pre-theatre" menus in the early evening (usually before 19.00/19.30). Pubs will also often offer food at reasonable prices, but menu options can be limited, and quality can vary. Pubs, pizzerias and ethnic (Indian, Chinese) restaurants often offer the best value. Italian restaurants can be relatively expensive and are often uninspiring. For those on a real budget, we have given a few tips! Note that while most restaurants will sell bottled water, tap water is perfectly safe to drink and very pure. Restaurants will supply it free if you ask for it.
If you are travelling into the Highlands or Islands, note that restaurants often close much earlier than in the city (sometimes 20:00 or so in remote parts!), generally don't offer the same range of options, and are usually a little more expensive than a city equivalent (reflecting high transport costs). Again, most pubs will offer some food options.
Restaurant Reviews
[Tim Day/Julie Odell's guide http://www.bottlenose.demon.co.uk/food/edinburgh/index.htm] Useful comments and ratings
[The List restaurant guide http://www.list.co.uk/places/restaurants/where:Edinburgh/] Comprehensive guide to the capital's restaurants
[Ian Sommerville's guide http://www.cs.st-andrews.ac.uk/%7Eifs/Restaurants/Edinburgh/EdinburghEating.html] Detailed comments and ratings by a Scottish computer scientist
Italian
Ristorante Al Dente, 139 Easter Rd, EH6 8HU, Tel: 6521932. This out of the way Italian is one of the city's best and above the usual standard. Small, so book ahead. About £15-20 http://www.aldente-restaurant.com/
Pizza
Pizza Hut, 34-36 Hanover Street, EH2 2DR: International chain, consistent but basic, about £10-20
Pizza Express, 23 Northbridge, EH1 1SB: Decent chain of pizza restaurants, better options than Pizza Hut, but more expensive, about £20
Mama's, 30 Grassmarket Excellent non-chain pizza with generous toppings.
Mexican
Mariachi, 7 VICTORIA STREET, EH1 Voted the best Mexican restaurant in Edinburgh http://www.mariachi-restaurant.co.uk/
Pancho Villa's 240 Canongate, EH8 8AB Reasonably priced, good portions, centrally located, can be crowded at weekends, otherwise quiet
Viva Mexico, 41 Cockburn St Edinburgh's first Mexican restaurant. Decent meal for under £20.
Indian subcontinent
Kalpna, West Nicolson St: Indian wholefood vegetarian, moderately expenssive, about £15-25
Annpurna, 45 St Patrick's Square, EH8 9ET: Similar concept to the Kalpna, slightly cheaper, with different menu options
Mother India, 3-5 Infirmary Street: First rate Indian "tapas". Big tables so good for groups.
Kushi's Diner, 32b West Nicolson St: Punjabi restaurant, good range, with some unusual choices, £10-20, BYOB (no corkage charge) http://www.khushisdiner.com/index.html
The Khukuri, 8 West Maitland Street, phone 228 2085: Prize-winning Nepalese restaurant, with uniquely Nepalese dishes, near Haymarket, £10-15 http://www.thekhukuri.co.uk/
Middle Eastern
Hanam's, 3 Johnston Terrace, phone 225 1329 Good quality Kurdish and Middle-Eastern restaurant, near the castle, about £10-15 http://www.hanams.com/
Thai
Muang Thai, 97 Hanover St Centrally located, good, tasty Thai foo, about £15-20 http://www.muangthai.co.uk/
Thai Orchid, 5a Johnston Terrace, phone 225 6633 Excellent Thai restaurant making good use of fresh ingredients, no MSG, near the castle £15-25 http://www.thaiorchid.uk.com/
French
La P'tite Folie, 61 Frederick St, EH2 1LH: Consistently highly rated, about £21+wine http://www.laptitefolie.co.uk/
La Garrigue, 31 Jeffrey St, EH1 1DH: Very well-regarded Languedoc restaurant, about £30 http://www.lagarrigue.co.uk/index.htm
Fish Restaurants
There are several good fish restaurants in the Leith Waterfront area. Take a bus or taxi (10-15 minute ride)
Café Royal Oyster Bar, 17a W. Register St: 140 year old seafood restaurant, one of the few in central Edinburgh, about £25
Fishers, 1 The Shore, Leith. One of Edinburgh's finest fish restaurants,
Fishers in the City, 58 Thistle Street, phone 225 5109 A branch of Fishers in the city centre, generous portions, quiet area at the back
Skippers, 1a Dock Place, Leith Small, intimate and very popular. Book ahead.
The Shore, 3-4 The Shore, 553 5080 Less expensive than Fishers or Skippers, but still good
The Waterfront, 1c Dock Pl Another less expensive option, also great for fish
No. 1 Sushi Bar, 37 Home Street, phone 229 6880 Good sushi, something of a rarity in Edinburgh
Scottish Bistro
A Room in the Town, 18 Howe St: Good cooking, consistently well rated, optional Bring your own wine (£3-4 corkage charge), about £20-25 http://www.aroomin.co.uk/town/index.html
Fine Dining
Hotel du Vin, 11 Bristo Place, EH1 1EZ: Quality bistro dining, £21-30+wine http://www.hotelduvin.com/edinburgh/bistro/
The Witchery, Royal Mile: Very good food, around £30-50+ wine http://www.thewitchery.com/
Number One, Balmoral Hotel: Michelin-Starred Restaurant, around £60+wine http://www.restaurantnumberone.com/index.asp
Seriously Carnivourous
Kublai Khan, 43 Assembly Street, Leith, EH6 7 BQ. Mongolian barbeque, WILD BOAR, OSTRICH, SHARK, VENISON, SPRINGBOK, KANGAROO, and ZEBRA plus conventional meat/veg! £21-23 for the Mongolian Feast; pre-theatre menu available up to 19:00. Take a bus or taxi. http://www.khublaikhan.co.uk/
Cafés
The Elephant House, George IV Bridge. J.K. Rowling is said to have written Harry Potter here. Good views from the picture window to the Castle. Evening meals available.
Valvona and Crolla Caffè Bar, 19 Elm Row, Leith Walk, EH7 4AA Café in one of the UK's best Italian Deli's, open in the evening during the Festival
Budget
The Standing Order, 62-66 George St, EH2 2LR: Part of the JD Wetherspoon chain (one of three in the city). Cheap breakfasts and coffee, good value pub food, cheap (and good) beer and free wifi in a large Grade A listed building, main meals from £2.99 http://www.jdwetherspoon.co.uk/pubs/pub-details.php?PubNumber=371
The Baked Potato Shop, 56 Cockburn St, EH1 1PB: Filling, cheap (£3.50), but tasty baked potatoes, only vegetarian/vegan, very restricted seating (mainly takeaway)
Pie Maker, 38 South Bridge, EH1 1LL: wide range of pies at £1-2, many vegetarian/vegan optons, some window seating
The Tailend Fish & Chip Shop, 14–15 Albert Place, Leith Walk: "The best fish and chips in Edinburgh", about £7 take away, £14 sit-in, 15-20 mins from city centre http://www.tripadvisor.com/Restaurant_Review-g186525-d1056250-Reviews-The_Tailend_Restaurant_and_Fish_Bar-Edinburgh_Scotland.html
McDonalds, 137-138 Princes St, EH2 4BL Central, large, but can get busy, universal menu
There are also numerous "fish and chip" shops (traditional British fast food, fried in batter), snack bars/cafes, kebab shops, and street vendors around the city, as well as national/international burger chains and Kentucky Fried Chicken. There are several inexpensive sandwich and takeaway outlets at Waverley station, including a "Pasty" shop.
Vegetarian/Vegan
Almost all restaurants will have at least one vegetarian option; Indian/Italian/Pizza restaurants are always good choices for vegetarians; vegan options can be harder (Indian restaurants can be a good choice, but curry sauces and breads may contain milk products, so do ask if in doubt). The following all have decent vegan ranges.
Kalpna, West Nicolson St: South Indian wholefood vegetarian, good quality food, about £15-25 http://www.kalpnarestaurant.com/
Annpurna, 45 St Patricks Square, EH8 9ET: Similar to Kalpna, slightly cheaper and preferred by some, with different menu options, about £15-20
Hendersons Salad Bar, Hanover St: Vegetarian whole-food cafe, several vegan options; about £8-12
Black Bo's, 57-61 Blackfriar's Street, Edinburgh, EH1 1NB: Quality vegetarian dining, about £30
David Bann, 56-58 St Mary's Street, phone 556 5888: Very good vegetarian restaurant, about £15-20 http://www.davidbann.co.uk/
Hanam's, 3 Johnston Terrace, phone 225 1329 Good quality Kurdish and Middle-Eastern restaurant, several tasty vegetarian options, near the castle, about £10-15 http://www.hanams.com/
Kushi's Diner, 32b West Nicolson Street, phone 667 4871 Good vegetarian range, with some unusual choices, £10-20, BYOB (no corkage charge) http://www.khushisdiner.com/index.html
Thai Orchid, 5a Johnston Terrace, phone 225 6633 Good range of vegetarian choices for a Thai restaurant, http://www.thaiorchid.uk.com/
Pie Maker, 38 South Bridge, EH1 1LL: Budget pie/pasty shop. Wide range of pies at £1-2, many vegetarian/vegan, some window seating.
The Baked Potato Shop, 56 Cockburn St, EH1 1PB: Filling, cheap (£3.50), but tasty baked potatoes, vegetarian and many vegan fillings, very restricted seating (mainly takeaway)
The Engine Shed, 19 St Leonard's Lane, EH8 9SH: By Arthur's Seat, fresh bakery goods, excellent affordable vegetarian/vegan food, but only open 10.00-15.30 Mon-Sat
Gluten-Free
Many restaurants will offer to make gluten-free dishes (or adapt menu items), as long as you ask, but choices may be restricted. Usually Indian or vegetarian restaurants (Annpurna, Black Bo's) are good choices - vegetarian places tend to be used to gluten free options.
The following are known to offer good options (recommended by someone who is gluten intolerant):
Hendersons, Hanover St: Vegetarian whole-food, several vegan options; about £8-12
Several Italian restaurants have gluten-free options now (Giulianos, La Favorita, Vittoria on Leith Walk).
Cafe Andaluz on George Street (Spanish tapas) marks a lot of their items as "GF" for gluten-free.
Blonde and The Outsider also have good gluten-free options.
The Falko Konditormeister bakery often has gluten-free cakes too.
Halal
Kushi's Diner, 32b West Nicolson Street, phone 667 4871 Punjabi restaurant, good range, with some unusual choices, fully halal £10-20, BYOB (no corkage charge) http://www.khushisdiner.com/index.html
Nut Allergies etc
Most restaurants will be aware of nut allergies; many menus will indicate which items are nut free, and restaurants will often adapt dishes to suit. Some menus will warn that dishes may contain traces of nuts. Other special dietary requirements can normally be discussed with the waiter/chef.
Hosted by HaskellWiki
Hosting courtesy of HaskellWiki. Feel free to log on and edit constructively!