Trends in Logic — Presenting the Tsinghua-UvA Joint Research Center

[Updated June 29]

In 2013, after a long history of collaboration, Tsinghua University and the University of Amsterdam decided to create a joint research center in logic, the first of its kind. The center will serve as an umbrella for researchers from both sides and their joint projects, engage in collaborative graduate education, promote broader cooperation between The Netherlands and China in the field of logic, and extend it to the other parts of the world. More information about activities, people involved, and future outreach plans can be found on the website (will be available soon). With this workshop, we highlight some of the major project areas represented at the center, and we celebrate its official opening, as well as a recent Chinese honor for one of the centers co-directors. In addition to celebration and ceremonial, we will use this event to explore new links and directions with our audience.

Date: July 2, 2014

Venue: Room 327, Main Building, Tsinghua University

Preliminary Program:

  • 9:00 – 10:00 Opening of the Joint Research Center + Photo session
  • 10:00 – 10:30 Break
  • 10:30 – 12:00 Session 1: Logic for Social Interaction (Chair: Wesley Holliday)
      10:30 – 11:00 Alexandru Baltag and Sonja Smets
      Logic goes viral: modalities for social networks
      11:00 – 11:30 Fenrong Liu
      Modelling social agency
      11:30 – 12:00 Johan van Benthem
      Logic and dynamical systems: From fixed-points to oscillations
  • 12:00 – 1:30 Lunch
  • 1:30 – 2:20 Session 2: History of Logic in China (Chair: Mihir Chakraborty)
    • 1:30 – 2:00 Chad Hansen
      The role of logic in the discovery of Chinese philosophy
      2:00 – 2:20 Jincheng Zhai and Jeremy Seligman
      Thinking about logic in China: past and present
  • 2:20-3:10 Session 3: Logic and Language (Chair: Yuncheng Zhou)
    • 2:20 – 2:50 Larry Moss
      Language, inference, and computation: Selected shorts
      2:50 – 3:10 Fengkui Ju
      A dynamic deontic logic with prioritized moral sources
  • 3:10 – 3:40 Break
  • 3:40 – 5:00 Session 4: Logic and Computation (Chair: Jouko Väänänen)
    • 3:40 – 4:00 Yanjing Wang
      Beyond “knowing that”
      4:00 – 4:30 Kaile Su
      Epistemic coalition logic for multi-agent systems
      4:30 – 5:00 Samson Abramsky
      Splitting the atom of information, twice: a short tour through the semantics of computation
  • 5:00 Reception