Practical information CALCO/MFPS

Venue

CALCO/MFPS will take place at the University of Strathclyde campus in central Glasgow, in a part of the city that is called the Merchant City. Talks will usually (Monday/Tuesday/Wednesday/Friday) take place in room TL325 in the Learning and Teaching Building (49 Richmond Street) with coffee and refreshment breaks taking place next door in TL328. There will be signs directing you from the entrance of the building.

On Thursday we will be in SW105 in the Stenhouse Wing of the Strathclyde business school. Route from the usual building to the Stenhouse Wing is here.

Schedule

A detailed schedule will appear later. CALCO is planned to run from 16 June 2025 until 18 June 2025 and MFPS from 18 June 2025 until 20 June 2025. This means that each event will run for three days which a shared day on Wednesday 18 June.

Accommodation

There are many hotels in and around the city centre, as well as some hostels. Some good hotels very close to the university are:

The Premier Inns at St Enoch Square and Glasgow City Centre South(just south of the River Clyde), are a bit further away (approx 25 min walk for the latter), but are normally cheaper than their George Square counterpart. Booking.com have many other options.

For those willing to share a dorm, the Revolver Hotel (private rooms also available) may be worth a look.

Travel

By train: The University of Strathclyde is located short walks away from both Glasgow Queen Street train station (five minutes) and Glasgow Central train station (10 minutes). See National Rail for train times and connections. Trains from London take 4.5 hours. Another option is to travel overnight on the Caledonian Sleeper from London, which arrives in Glasgow 7.30am (so plenty of time to get a shower in the train station and a nice breakfast before the conference starts!). If you are arriving from the continent, you can take the Eurostar to London, and then take another train to Glasgow (see The Man in Seat 61 for more information).

By plane: The closest airports are Glasgow International Airport (30 minutes bus connection (bus 500) to George Square) and Edinburgh Airport (1 hour bus connection (Citylink Air) to Buchanan Bus Station).

More info on local transport to be provided.

Internet access

Eduroam Internet access is available at the conference venue; if not already configured, you can download a configuration tool for your device here. If you do not have access to Eduroam, you can also use the 'Wifi Guest' network after creating an account.

Other practical information

Money: The currency in use is Great British Pound (GBP, symbol £). Credit cards are widely accepted. Tipping is not required, but in restaurants, a tip of around 10% is customary (this is sometimes added automatically to the bill for larger groups).

Time zone: During TYPES 2025, Glasgow will be in the British Summer Time (BST) time zone (UTC+1).

Electricity: The standard voltage in Scotland is 240V AC, 50Hz. Plugs have 3 square pins, and adapters are widely available in shops.

Visas: Check if you require a UK visa or an electronic travel authorisation (ETA) on the UK Government website. Note that EU citizens will need to apply for an ETA, and that you need to do this at the latest a few days before travelling.

Things to see and do: Visit Glasgow has much information about places worth visiting in Glasgow. Personal favourites include the Necropolis, Kelvingrove Art Gallery and Museum, and the highland cattle in Pollok Country Park. Top tip: a lot of Glasgow's amazing architecture is above street level, so don't forget to look up!

Running: If you would like to go for a run before or after the conference starts, there are nice running routes along the river Clyde following the Clyde Walkway, and along the Port Dundas branch of the Forth and Clyde Canal (and potentially beyond, e.g. following the Kelvin Walkway.

Sponsors

Gold Sponsor

Jane Street

Bronze Sponsors

Formal Vindications Well-Typed InputOutput

Other Sponsors

Uni Augsburg University of Strathclyde Glasgow City Council