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*

[SICSA logo]

This workshop was supported by the Scottish Informatics and Computer Science Alliance.


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:

28 Gibson Street
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.


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


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.

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.