Xixi Logic Seminars #72 Speaker: Prof. Chris Reed Date & Time: 28 September 2017 (Thursday), 09:30-10:30 AM Place: Seminar Room #259, Main teaching building, Xixi campus, Zhejiang University Title: Inference Anchoring Theory: Theoretical Problems, Linguistic Applications and Software Implementations Abstract: … Continue reading →
Xixi Logic Seminars #70 Speaker: Ryuta Arisaka (National Institute of Informatics, Japan) Date & Time: 14-16 June 2017 Place: Seminar Room #259, Main teaching building, Xixi campus, Zhejiang University BI Proof theory (14 June 2017, 10:00-11:30 AM) BI is a … Continue reading →
Xixi Logic Seminars #69 Speaker: Huimin Dong (Universität Bayreuth) Date & Time: 5 June 2017 (Monday), 10:00 – 11:30 Place: Seminar Room #259, Main teaching building, Xixi campus, Zhejiang University Dynamic Logic of Power and Immunity We present a dynamic … Continue reading →
