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.
ProgrammeThe following programme materialised during the course of the workshop.
Monday 10th July
|Introduction to Compositional Game Theory (slides) Neil Ghani
|Introduction to MDPs Frank Feys
|Applications of MDPs in the power industry Maria Garcia
|Introduction to blockchains Jelle Herold
|Morphisms of Open Games Jules Hedges
Tuesday 11th July
|Smart contracts Viktor Winschel
|Open Games in Haskell; dealing with Isomorphic types Mirzhan Irkegulov
|Applications of MDPs: Scottish Power and Scottish Water Matthew Revie
|Infinite games and coalgebras Neil Ghani
|Policy iteration in MDPs, Coalgebraically Frank Feys and Helle Hvid Hansen
- Neil Ghani: Infinite Games and Coalgebras
- Clemens Kupke: Learning Coalgebras
- Frank Feys: Policy iteration in MDPs, Coalgebraically
- Viktor Winschel: Smart Contracts
- Jules Hedges: Morphisms of Open Games
- Matthew Revie: Applications of MDPs
- Josef Bolt: Mixed Strategies in Open Games
- Jelle Herold: My View on Blockchain
- Mirzhan Irkegulov: Open Games in Haskell
- Maria Garcia: Applications of MDPs in the Power Industry
- Bob Atkey
- Simone Barlocco
- Frank Feys
- Maria Garcia
- Neil Ghani
- Helle Hvid Hansen
- Jules Hedges
- Jelle Herold
- Mirzhan Irkegulov
- Clemens Kupke
- Alasdair Lambert
- Johannes Marti
- Fredrik Nordvall Forsberg
- Ben Price
- Matthew Revie
- Viktor Winschel
- Philipp Zahn
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.
The following map shows several key locations (click on the link below the map for a larger picture):
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.
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.