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.
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.