Time: 2018 Apr. 23, 09:00-17:30 Venue: Bing Suo Confere […] Workshop A Tsinghua Encounter with Logic & Jin Yuelin Chair …
