Programme
Invited speakers/tutorials
- Zofia Adamowicz (Polish Academy of Sciences) "Games in set theory" [abstract]
- Peter van Emde Boas (ILLC, UvA) "Games in Computation and Complexity Theory" [abstract]
- Henryk Kotlarski (Cardinal Stefan Wyszyński University, Warsaw) "On some game-theoretic formulas in first order arithmetic" [abstract]
- Michał Krynicki (Cardinal Stefan Wyszyński University, Warsaw) "Ehrenfeucht-Fraïssé games determined by trees" [abstract]
- Kerkko Luosto (University of Helsinki) "Ehrenfeucht-Fraïssé games in finite model theory" [abstract]
- Marcin Mostowski (Warsaw University) "Finite arithmetics"
- Gabriel Sandu (Sorbonne University) "IF logic"
- Jouko Väänänen (ILLC, UvA and University of Helsinki) "Dependence logic. A new approach to independence friendly logic"
- Marek Zawadowski (Warsaw University), "Intuitionistic logic and games"
- Konrad Zdanowski (Polish Academy of Sciences) "Henkin Quantifiers"
See the preliminary schedule or download the PDF version.