Games for Logic and Programming Languages VIII (GALOP)

18 July 2013

Time: 10:00am - 5:00pm
Venue: Eng. 2.09 Engineering Building, Queen Mary University of London, Mile End Road, London, E1 4NS

A two-day workshop on the use of Games for Logic and Programming Languages, taking place on 18-19 July.
Areas covered:

  Games-based program analysis and verification
  Game theory and interaction models in semantics
  Logics for games and games for logics
  Algorithmic aspects of games
  Categorical aspects
  Programming languages and full abstraction
  Higher-order automata and Petri nets
  Geometry of Interaction
  Ludics
  Epistemic game theory
  Logics of dependence and independence
  Computational linguistics

The schedule of the workshop can be found here.