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)
- 2:20-3:10 Session 3: Logic and Language (Chair: Yuncheng Zhou)
- 3:10 – 3:40 Break
- 3:40 – 5:00 Session 4: Logic and Computation (Chair: Jouko Väänänen)
- 5:00 Reception
- 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 – 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: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