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.

Intensive Seminars on Logic and Games(研讨班)

• Games, Computation and Complexity, May 22-23, 2012, Tsinghua University.
  By Peter van Emde Boas, ILLC-FNWI- University of Amsterdam and Bronstee.com Software and Services BV, Heemstede,the Netherlands.
  Session 1: Problems about games and mathematical solutions
  Session 2: PSPACE and its relation to games
  Session 3: Interactive protocols
  Session 4: The evasiveness problem for graph properties

• Logic in Games, May 3-4, 2012, Tsinghua University.
  By Johan van Benthem, Amsterdam University and Stanford University.
  Session 1: Logic in games, an overview of connections
  Session 2: Modal logics of game structure (action and preference)
  Session 3: Dynamic logic of games and strategic powers
  Session 4: Dynamic epistemic logic and theory of play

Talks (学术报告)

• Duality and Logic, March 19, by Alessandra Palmigiano, University of Amsterdam, The Netherlands.

• Minimal Revision and Classical Kripke Models--First Results and Tableau System, March 9, by Jonas De Vuyst, Vrije Universiteit Brussel, Belgium.

Tutorials (讲习班), Workshops (学术会议)

• Logic, Language and Philosophy: Tutorials + Workshop, Tsinghua University, Beijing, China. June 13-18, 2011.

• Mini-Workshop on Modal Logic, Language and Logical Dynamics, Tsinghua University, Beijing, China. June 12, 2011.

Talks (学术报告)

• Modal Logics of Space, Nov 17, by Marco Aiello, University of Groningen, The Netherlands.

• Conditional Ought, a Game Theoretical Perspective Nov 11, by Xin Sun, Tsinghua University, China.

• Logics for Legal Argumentation, Nov 5, by Minghui Xiong, Sun Yat-sen University, China.

• Towards Prioritized Update Semantics for Imperatives, Nov 4, by Fengkui Ju, Beijing Normal University, China.

• Scientia Potentia Est, Oct 21, by Thomas Agotnes, University of Bergen, Norway.

• Logic in the Communities, Sep 23, by Patrick Girard, Auckland University, New Zealand.

• A Logic for Knowledge Flow in Social Networks , Sep 23, by Ji Ruan, University of New South Wales, Australia.

• Private Belief Revision, Sep 16, by Patrick Girard, Auckland University, New Zealand.

• Coherent Welfarism from Inconsistent Preferences, April 1, by Till Grune-Yanoff, University of Helsinki, Finland.

Seminar (研讨班)

• The many faces of Proof Theory, October 25-29, 2010. By Hiroakira Ono and Norbert Preining, Japan Advanced Institute of Science and Technology.

  Please find the arrangement of the course in the attached file: Time and Place

  Course materials: File 1: The many faces of Proof Theory,

  File 2: Proof-Theoretic Methods in Nonclassical Logic: An Introduction.

• 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.

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

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

Workshops (学术会议)

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

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

Talks (学术报告)

• Knowledge Representation and Logical Reasoning, November 3, by Zhisheng Huang, Amsterdam Free University, The Netherlands.

• 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.

• Comparing Strengths of Beliefs Explicitly, June 19, by Dick de Jongh, ILLC, University of Amsterdam, The Netherlands.

• Continuous Logic and Probability, June 19, by Shichang Song, Department of Mathematics, University of Illinois at Urbana-Champaign.

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

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

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.