Category Archives : Talk / Workshop / Conference


[conference] Logic in Theoretical Philosophy (Oct. 27-28)

Time: 2018 Oct. 27-28. Venue: Tsinghua Univ. Logic in Theoretical Philosophy – An Exploratory Conference Theme: The role of logic in various branches of theoretical philosophy, such as metaphysics and epistemology, has been on the rise for quite some time. Having seen a decline in the eighties and nineties of the last century, the last two decades have […]


[conference] AWPL-IV (Oct. 20-21, Tsinghua University)

The 4th Asian Workshop on Philosophical Logic, 20-21 October, 2018, Beijing Asian Workshop on Philosophical Logic (AWPL) is an event-series initiated by a group of Asian logicians, and in 2012 the first installment took place at the JAIST in Japan. It is devoted to promote awareness, understanding, and collaborations among researchers in philosophical logic and […]


Workshop A Tsinghua Encounter with Logic & Jin Yuelin Chair Ceremony

Time: 2018 Apr. 23, 09:00-17:30 Venue: Bing Suo Conference Room(丙所会议室), Tsinghua Univ. Modern logic was introduced into the Chinese university curriculum by Jin Yuelin in the 1930s, and it has flourished there ever since. This meeting is a celebration of Tsinghua’s renewed involvement with logic, including presentations of current research as well as an encounter with the […]


[talk] Logics for visual-epistemic reasoning in multi-agent systems (Valentin Goranko)

Time: 2018 Mar. 16, 13:30-16:05 Venue: Xinzhai 301, Tsinghua Univ. Speaker: Valentin Goranko (Stockholm University) Title: Logics for visual-epistemic reasoning in multi-agent systems Abstract: In this talk I will discuss logic-based reasoning evolving from the interaction between knowledge and visual information that agents receive and process. In particular, I will present a formal logical framework for multi-agent visual-epistemic reasoning, where […]