Mathematically Structured Programming Group

Computer and Information Sciences

University of Strathclyde

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):

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.