Parametricity Workshop
2nd May 2012.
Department of Computer and Information Sciences.
The idea of the workshop was to get people actively working on parametricity or logical relations together to discuss the latest research, and new research directions, in this area.
The workshop was organised
by Patricia
Johann.
Email: patricia *at* cis.strath.ac.uk.
![[SICSA logo]](sicsalogo.jpg)
This workshop was supported by the Scottish Informatics and Computer Science Alliance.
Schedule
| Time | Talk |
|---|---|
| 9:30 - 10:00 | Coffee |
| 10:00 - 10:15 | Welcome remarks & information about the day Patricia Johann |
| 10:15 - 11:15 | Why is this type different from all other types? An "existentialist" perspective on parametricity research Derek Dreyer |
| 11:15 - 12:00 | Step-indexed biorthogonality Andy Pitts |
| 12:00 - 2:30 | Lunch & Disussion |
| 2:30 - 3:15 | Implementing parametricity Jean-Philippe Bernardy |
| 3:15 - 3:45 | Coffee |
| 3:45 - 5:00 | Panel: The future of parametricity research Nick Benton, Lars Birkedal, Uday Reddy |
| 5:00 | drinks at Stravaigin |
| 7:00 | dinner at Stravaigin |
Workshop Dinner
The workshop dinner was at Stravaigin in the west end of Glasgow. Dinner was at 19.00, and drinks started sometime around 17.00 or 17.30.
The location of the restaurant is shown on the larger version of the map below (click on the link below the map). The best way to get to there is by the subway. The restaurant is close to Kelvinbridge subway station. The subway can be caught from Buchanan Street subway station, which is close to Glasgow Queen Street Station.
The address is:
Stravaigin
28 Gibson Street
Kelvinbridge
Glasgow G12 8NX
Venue, Travel and Accommodation
The workshop took place in Livingstone Tower, which is part of the University of Strathclyde. Livingstone Tower is in central Glasgow, near to Glasgow Queen Street station. Below are travel instructions from Queen Street station, and from Glasgow and Edinburgh airports. Edinburgh and Glasgow airports are both served by several international airlines, and flights are available to and from major international hubs.
Map
The following map shows several key locations (click on the link below the map for a larger picture):
- Livingstone Tower, where the workshop took place.
- Glasgow City Centre Premier Inn, the recommended accommodation.
- Glasgow Queen Street Station, for people arriving by train or from Edinburgh airport (see below).
- Buchanan Bus Station, for people arriving from Glasgow Airport (see below).
- Stravaigin, the restaurant for the workshop dinner (see above).
View Parametricity Workshop in
a larger map
Accomodation
A convenient place to stay was the Glasgow City Centre Premier Inn, just across the road from Strathclyde University.
From Glasgow Queen Street Station
Livingstone Tower is a few minutes walk from Queen Street Station in the centre of Glasgow. The map above shows the general area.
There is also an official university map.
From Glasgow Airport
For people arriving at Glasgow Airport, here are instructions on how to get into the city centre. Probably the easiest route is to take the airport bus (Service 500) to Buchanan Street Bus station, which is close to Queen Street Station, and then to walk or take a taxi from there. The airport bus costs £7.50 for an open return.
- General instructions on how to get into city centre
- Instructions on the bus service from the airport
From Edinburgh Airport
For people arriving via Edinburgh Airport, the best route is to take the airport bus to Waverley Station in central Edinburgh and then take the train to Glasgow Queen Street. There are trains every 15 minutes during the day, and every half an hour after 18.30. Note that train travel before 9.30 and between 16.30 and 18.30 is peak time, and is more expensive.
- General instructions on travel to and from Edinburgh airport
- Edinburgh airport bus for getting from Edinburgh Airport to Waverley Station.
- Edinburgh Waverley Station for general information.
- National Rail Website for train times.