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.
Games-based program analysis and verification
Game theory and interaction models in semantics
Logics for games and games for logics
Algorithmic aspects of games
Programming languages and full abstraction
Higher-order automata and Petri nets
Geometry of Interaction
Epistemic game theory
Logics of dependence and independence
The schedule of the workshop can be found here.