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.