[mini-workshop] Games and Proofs

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