Mathematically Structured Programming Group

Computer and Information Sciences

University of Strathclyde

Open Games Workshop

10th – 11th July 2017.
Room 1415, Livingstone Tower, Department of Computer and Information Sciences, University of Strathclyde.

Open Games offer a radical new foundation for economics and smart contracts. Unlike other formalisms, Open Games are inherently compositional and therefore better for large scale programming, as well as having a rigorous logical foundation which allows us to predict their behaviour. The purpose of the workshop is to build up the network of people working on Open Games by outlining where we are and the problems facing us. In addition, we are keen to have people who have problems which we can work on with them.

This meeting is part of the Scottish Category Theory Seminar series.

Programme

The following programme materialised during the course of the workshop.

Monday 10th July

Time Talk
10:30 Introduction to Compositional Game Theory (slides)
Neil Ghani
12:00 Introduction to MDPs
Frank Feys
12:30 Applications of MDPs in the power industry
Maria Garcia
14:40 Introduction to blockchains
Jelle Herold
16:00 Morphisms of Open Games
Jules Hedges

Tuesday 11th July

Time Talk
10:00 Smart contracts
Viktor Winschel
11:00 Open Games in Haskell; dealing with Isomorphic types
Mirzhan Irkegulov
12:10 Applications of MDPs: Scottish Power and Scottish Water
Matthew Revie
14:30 Infinite games and coalgebras
Neil Ghani
16:00 Policy iteration in MDPs, Coalgebraically
Frank Feys and Helle Hvid Hansen

Proposed talks

Participants

Venue, Travel and Accommodation

The workshop will take place in room 1415, on the 14th floor of Livingstone Tower, which is part of the University of Strathclyde. Livingstone Tower is in central Glasgow, near to both Glasgow Queen Street station and Glasgow Central Station. Below are travel instructions from the train stations, and from Glasgow and Edinburgh airports.

Map

The following map shows several key locations (click on the link below the map for a larger picture):


View a larger map. There is also an official university map.

Accommodation

A convenient place to stay is the Glasgow City Centre Premier Inn, just across the road from Livingstone Tower. Using Airbnb is another option.

Travel

By train

See National Rail for trains within the UK. Both Glasgow Central and Glasgow Queen Street Station are within walking distance of the University of Strathclyde (see map above). If you arriving from the continent, you can take the Eurostar to London, and then take another train to Glasgow. See also 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), Edinburgh Airport (1 hour bus connection (Citylink Air) to Buchanan Bus Station) and Glasgow Prestwick Airport (40-50 minutes train connection to Glasgow Central).

From Glasgow Queen Street Station or Glasgow Central Station

Livingstone Tower is a few minutes walk from Queen Street Station in the centre of Glasgow, and about 10 minutes walk from Central Station. The map above shows the general area, as well as recommended walking routes.

Organisers