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


Summer school in dynamic epistemic logic and its applications (Sapporo, Japan)

The Department of Philosophy at Hokkaido University (Sapporo, Japan) will hold a two-week summer school in dynamic epistemic logic and its applications, jointly with three guest lecturers from University of Auckland and ILLC (University of Amsterdam) from August 20 to August 31 as part of Hokkaido Summer Institute (HSI) 2018. The following two intensive courses […]


[talk] Polish contributions to syllogistic from Łukasiewicz to present times (Piotr Kulicki)

Time: 2017 Dec. 07, 16:00-17:30 Venue: Xinzhai 105, Tsinghua Univ. Speaker: Piotr Kulicki (John Paul II Catholic University of Lublin) Title: Polish contributions to syllogistic from Łukasiewicz to present times Abstract: Syllogistic is a first logical system in western world created by Aristotle in the 4th century BC. It formalises valid reasoning modes concerning relations between extensions of notions, allowing […]