Time: 2016 Jul. 02.Venue: XiJiao Hotel (Beiji […] [HOLIC workshop] Tsinghua Logic Colloquium – The History of Logical …
Time: 2016 Jun. 13-15, 19:00-21:00 (each day) Venue: Rm […] [tutorial] Three lectures in model theory (Jouko Vaananen)
Time: 2016 Apr. 21, 15:30-17:00 Venue: Rm 301 XinZhai ( […] [talk] Public announcement games and question-answer games (Hans van Ditmarsch)
Time: 2016 Feb. 26. Venue: Conference Room No.1, Jia Su […] [workshop] Workshop on Logic, Language and Translation
