Time: 2014 Nov. 10
Venue: Rm 335, XinZhai (新斋) Tsinghua University, Beijing.
14:30-15:30 Marmoru Kaneko (Waseda University)
Game Theoretic Decidability and Undecidability
15:30-15:50 Break
15:50-16:30 Junhua Yu (Tsinghua University)
On non-self-referential realizable fragments
16:30-16:50 Break
16:50-17:30 Johan van Benthem (University of Amsterdam, Stanford University)
Proof patterns about Interaction