Time: 2017 Nov. 20. Venue: BingSuo conference room Prog […] [workshop] The Search for Principles and Patterns from Antiquity to …
Time: 2017 Sep. 22, 14:20-15:55 Venue: 6B312, Classroom […] [talk] The Normativity of Logic (Gila Sher)
Time: 2016 Oct. 28, 09:30-11:00 Venue: Rm 301 XinZhai ( […] [talk] Connecting Proof Theory and Semantics (Johan van Benthem)
Time: 2016 Oct. 29. Venue: Rm 105, XinZhai (新斋), Tsingh […] [workshop] Logical methods in philosophy and linguistics: scope and limits
