Games for Logic and Programming Languages VIII

18-19 July 2013, Queen Mary University of London, UK

This is intended to be an informal workshop. Participants are encouraged to present work in progress, overviews of more extensive  work, and programmatic/position papers, as well as completed projects in the following areas:
  • Game theory and interaction models in semantics
  • Games-based program analysis and verification
  • 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

Particular focus will be given this year to Games for Program Analysis.

A special journal issue associated with the workshop is being considered; this will be discussed at the workshop. Three previous workshops led to special issues in the journal Annals of Pure and Applied Logic (2005, 2008, 2011).

Please submit an abstract of your proposed talk on the easychair submission page. You may also submit an accompanying paper for the talk.

Important Dates

  • Submission: May 31
  • Notification: June 7
  • Workshop: July 18-19

Registration, Local Information and Programme

Although there will be no registration fees, participants are asked to register via sending an email to nikost@eecs.qmul.ac.uk.
Local information can be found here, while the programme of the workshop is here.

Invited speakers

Organising co-chairs

  • Guy McCusker, Bath
  • Nikos Tzevelekos, QMUL & Royal Academy of Engineering RF

Program committee