- 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.
- Methodological Separatism, Modal Pluralism and Metaphysical Nihilism, October 25, by Tom Stoneham, University of York, UK.
- Reflection on Ming Xue, October 19, by Jer-shiarn Lee, Graduate School of Chinese Studies, National Yunlin University of Science and Technology, Taiwan.
- Verifying time, memory and communication bounds in systems of reasoning agents, September 28, by Natasha Alechina, University of Nottingham, UK.
- On Self-referentiality of the Provability Semantics of Intuitionistic Propositional Calculus and Modal Propositional Calculus S4, August 21, by YU Junhua, Ph.D Candidate, City University of New York.
- Truth in Mohist Dialectics , August 3, by Chris Fraser, University of Hong Kong.
- 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.
- 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