Mini-workshop on Games and Proof
Time: 2014.Nov.10 (Monday)
Place: Tsinghua Univ., Xinzhai 335
Program:
2:30-3:30 Marmoru Kaneko: Game Theoretic Decidability and Undecidability
3:30-3:50 break
3:50-4:30 Junhua Yu: On non-self-referential realizable fragments
4:30-4:50 Break
4:50-5:30 Johan van Benthem: Proof patterns about Interaction
6:00- dinner at Jiasuo