Questions of interest as articulated

01. Epistemic modelling of money and speculation, runaway phenomena 
(such as the recent financial crisis).

02. Characterizing games where computable strategies suffice.

03. Algebraic theories of game constructors such as concurrent
composition; relation to process theories.

04. Dynamics of games with unboundedly many players; questions
of stability, and aggregation.

05. Formal relationships between various game and strategy logics.

06. Definability of solution concepts in modal and fixed point logics;
consequence of restricting to definable notions for foundations (like
existence of universal structures, and invariance under morphisms).

07. Graph representations as alternatives to matrix form representations,
succictness questions.

08. A graded view of the quality of strategies such as in Markov Decision
Processes (MDPs), while retaining the logical (compositional) flavour.

09. Modular / open games where players join / leave during the course of the game.

10. Tradeoffs between process (player) complexity and interaction complexity.

11. Updating of effectivity functions.

12. Epistemic protocols that change dynamically. Games as protocols.

13. Dynamic game forms where the change is endogenous.

14. Equating the notions of performing and ensuring something, to obtain a
more abstract doxastic notion of strategies.

15. Finer analysis of perfct recall; pebbled version of EF games.

16. How do we delineate when strategic reasoning needs to be explicit
and when it's best hidden (specifying only what is best and not how) ?

17. Achieving close to the optimal, even when suboptimal: this is important
for games of imperfect information; can we use approximations such as
used in POMDPs ?

18. What does it mean for a player to know a strategy ?