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

[Updated Apr 04]

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: TBA

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
  10:30 – 11:00 Alexandru Baltag and Sonja Smets
  11:00 – 11:30 Fenrong Liu
  11:30 – 12:00 Johan van Benthem
• 12:00 – 2:00 Lunch
• 2:00 – 3:00 Session 2: History of Logic in China
  2:00 – 2:30 Chad Hansen
  2:30 – 3:00 Jincheng Zhai and Jeremy Seligman
• 3:00-4:00 Session 3: Logic and Language
  3:00 – 3:30 Larry Moss
  3:30 – 4:00 Fengkui Ju
• 4:00 – 4:30 Break
• 4:30 – 5:30 Session 3: Logic and Computation
  4:30 – 5:00 Kaile Su
  5:00 – 5:30 Samson Abramsky
• 5:30 Reception + Changjiang Professor Ceremony