Tsinghua University is hosting a continuing series of logic research activities, covering a broad range of themes from pure logic to outreach in philosophy, linguistics, cognitive science and artificial intelligence.

In this series, we invite overseas researchers to give lectures on research topics that currently draw international attention, and that may stimulate local students and researchers to find their own topics to work on.

Thus, those events provide the logic community at Tsinghua and neighboring universities in Beijing with access to a broad spectrum of recent results and new trends, while also promoting the incipient cooperation between Chinese and foreign researchers.

Seminar (研讨班)

• Situation Theory and Channel Theory, March and April, 2010. By Jeremy Seligman, Department of Philosophy, Auckland University, New Zealand.

• Temporal Logic and Spatial Logic, May, 2010. By Johan van Benthem, University of Amsterdam and Stanford University.

• Provability Logic and Intuitionistic Logic, June, 2010. By Dick de Jongh, ILLC, University of Amsterdam. Please download the reading materials from here: file 1, file 2.

Workshops (学术会议)

• Workshop Door to Logic, Beijing, China. May 22-23, 2010.

• Workshop on Logic and Philosophy of Language, Beijing, China. May 7, 2010.

Talks (学术报告)

• Cognitive Realism in Belief Revision: Representing a Finite Mind, August 23, by Sven Ove Hansson, Department of Philosophy and the History of Technology, Royal Institute of Technology, Sweden.

• Reasoning about Social Preferences, April 30, by Patrick Girard, Department of Philosophy, Auckland University.

• Abstractions and Idealisations: The Construction of Modern Linguistics, May 6, by Martin Stokhof, ILLC, University of Amsterdam.

Seminar (研讨班)

• Intensive Seminar in Spring 2009: Dynamic Logics of Agency and Interaction, by Johan van Benthem, University of Amsterdam and Stanford University. Tsinghua Weilun Honorary Professor.

Talks (学术报告)

• 反推数学简介, December 30, by Yue Yang, Department of Mathematics, National University of Singapore.
• China Met Europe in the History, October 22 and 27, by Karel van der Leeuw, Department of Philosophy, University of Amsterdam, the Netherlands.

• Logical Dynamics of Social Communication, October 15, by Tomoyuki Yamada, Hokkaido University, Japan.

• Making the right exceptions, May 20, by Frank Veltman, ILLC, University of Amsterdam, The Netherlands.

Seminar (研讨班)

• Intensive Seminar in Autumn 2008: Logical Dynamics of Information and Interaction, by Johan van Benthem, University of Amsterdam and Stanford University. Tsinghua Weilun Honorary Professor.

Workshops (学术会议)

• Workshop on Proof, Reasons and Games, Beijing, China. November 7, 2008.


.

• Workshop on Logic, Language and Cognition, Beijing, China. October 25, 2008.

Talks (学术报告)

• Coalgebra and Modal Logic, June 18, byYde Venema, ILLC, University of Amsterdam, The Netherlands.