School of Electronic Engineering and Computer Science

events menu
Jul 18

Games for Logic and Programming Languages VIII (GALOP)

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
  Epistemic game theory
  Logics of dependence and independence
  Computational linguistics

The schedule of the workshop can be found here.

Thu 18th July 2013

Start Time: 10:00
End Time: 17:00


Eng. 2.09
Engineering Building,
Queen Mary University of London,
Mile End Road,
E1 4NS

Return to top