Time: 2015 May 16-17. Venue: Rm 353 XinZhai (新斋), Tsing […] [workshop] Tsinghua Logic Colloquium – May 16 and May 17
Johan van Benthem, Changjiang Professor at Tsinghua, wa […] Johan van Benthem recently elected as a member of the …
