[co-organized conference] 2nd International Conference on the History of Logic in China

Time: 2013 Apr. 27-29.
Venue: Nankai University, Tianjin.

Conference homepage: http://holicnet.net/?page_id=60

You may also like

[workshop] Tsinghua Meets the ILLC, UvA

[workshop] Tsinghua Meets the ILLC, UvA

Time: 2013 Oct. 18. Venue: Tsinghua University, Beijing. Workshop website: http://tsinghualogic.net/?page_id=629

[workshop] From Computation to Agency

[workshop] From Computation to Agency

Time: 2017 Oct. 28-29. Venue: JiaSuo conference room 2 Description: Computing today is a complex process of information flow between communicating devices, entangled with humans. To […]

[talk] Connecting Proof Theory and Semantics (Johan van Benthem)

[talk] Connecting Proof Theory and Semantics (Johan van Benthem)

Time: 2016 Oct. 28, 09:30-11:00 Venue: Rm 301 XinZhai (新斋), Tsinghua University, Beijing. Speaker: Johan van Benthem (Stanford University and University of Amsterdam) Title: Connecting Proof […]