Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
GALOP 2014 - International Workshop on Games for Logic and Programming Languages IX (GALOP)
Topics/Call fo Papers
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
Dan Ghica(Birmingham, UK)
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
Dan Ghica(Birmingham, UK)
Other CFPs
- 11th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA)
- 5th International workshop on Developments in Implicit Computational complExity (DICE)
- 9th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode)
- 2nd Workshop on Advances in Systems of Systems (AiSoS)
- 17th European Joint Conferences on Theory And Practice of Software
Last modified: 2013-07-25 22:12:19