Logic Events @ Tsinghua University
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.
2014
Seminars, Tutorials & Workshops
- Workshop on Knowledge, Rationality and Decision Making, March 1, 2014, Tsinghua Univeristy.
- Trends in Logic — Presenting the Tsinghua-UvA Joint Research Center, July 2, 2014, Tsinghua University.
2013
Seminars, Tutorials & Workshops
- Reasoning about coalitional ability in games: Coalition Logic vs. PDL, March 24, by Thomas Agotnes, University of Bergen, Norway.
- Advances in Dynamic Epistemic Logic, May 9-10, 2013, Tsinghua University. Four intensive lectures by Hans van Ditmarsch, Laboratoire Lorrain de Recherche en Informatique et ses Applications, Nancy, France (abstracts&papers)
2012
Seminars, Tutorials & Workshops
- Group Announcement Logic, November 6, by Thomas Agotnes, University of Bergen, Norway.
- Modeling Evidence Dynamics, October 26, by Johan van Benthem, University of Amsterdam and Stanford University.
2011
Seminars, Tutorials & Workshops
- Modal Logics of Space, Nov 17, by Marco Aiello, University of Groningen, The Netherlands.
- Logic in the Communities, Sep 23, by Patrick Girard, Auckland University, New Zealand.
2010
Seminars, Tutorials & Workshops
- Abstractions and Idealisations: The Construction of Modern Linguistics, May 6, by Martin Stokhof, ILLC, University of Amsterdam.
- 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.
2009
Seminars, Tutorials & Workshops
- 反推数学简介, December 30, by Yue Yang, Department of Mathematics, National University of Singapore.
- Logical Dynamics of Social Communication, October 15, by Tomoyuki Yamada, Hokkaido University, Japan.
2008
Seminars, Tutorials & Workshops
- Coalgebra and Modal Logic, June 18, by Yde Venema, ILLC, University of Amsterdam, The Netherlands.
- 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.