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 […]


The Making of the Humanities VII (Amsterdam, the Netherlands)

The Making of the Humanities VII University of Amsterdam, The Netherlands ‘The Making of the Humanities’ conference returns to Amsterdam! This is the place where the conference series started in 2008, 10 years ago. The University of Amsterdam will host the 7th Making of the Humanities conference at its CREA facilities, from 15 till 17 […]