清华逻辑活动版
Tsinghua Logic Events

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.

2013

A new website of Tsinghua logic is launched, please check the events at: http://tsinghualogic.net

2012

Intensive Seminars(研讨班)

  • Logic in the Community, November, December, 2012, Tsinghua University.
    By Jeremy Seligman, Auckland University, New Zealand.
    Session 1: Logic in the community
    Session 2: Belief influence
    Session 3: General dynamic dynamic logic
    Session 4: The epistemic logic of friendship

  • 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 (学术报告)

2011

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

Talks (学术报告)

2010

Seminar (研讨班)

Workshops (学术会议)

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

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

Talks (学术报告)

2009

Seminar (研讨班)

Talks (学术报告)

2008

Seminar (研讨班)

Workshops (学术会议)

Talks (学术报告)

回到首页 Go To Homepage
Website Copyright 2011 刘奋荣 Fenrong Liu