The 3rd Tsinghua Logic Colloquium, Beijing
Time: Oct 20-21, 2015
Venue: 324 Main Building, Tsinghua University
Oct. 20 Tue.
08: 40 - 08: 55 Coffee
08: 55 - 09: 00 Opening
Session 1 Chair: Sonja Smets
09: 00-09: 45 John Perry (Stanford University)
Indexicals and Undexicals
09: 45-09: 50 Break
09: 50-10: 35 Tomoyuki Yamada (University of Hokkaido)
Product Update for Dynamified Deontic Logic of Speech Acts
10: 35-10: 55 Tea/coffee Break
10: 55-11: 40 Soroush R. Rad (University of Amsterdam)
Forming Rational Belief from Quantified Evidence
11: 40-11: 45 Break
11: 45-12: 15 Paolo Galeazzi (University of Amsterdam)
Smart Transformations: The Evolution of Choice
12: 15-14: 00 Group Photo Session and Lunch
Session 2 Chair: Junhua Yu
14: 00-14: 45 Sonja Smets (University of Amsterdam)
The Truth-Tracking Power of Scientific Communities
14: 45-14: 50 Break
14: 50-15: 35 Yanjing Wang (Peking University)
Knowing the Dependency
15: 35-15: 55 Tea/coffee Break
15: 55-16: 40 Alexandru Baltag (University of Amsterdam)
Logics for Agency, Conscious Choice, Commitments and Cooperative planning
18: 00-20: 00 Dinner
Oct. 21 Wed.
08: 40-09: 00 Coffee
Session 3 Chair: Fenrong Liu
09: 00-09: 45 Jan van Eijck (University of Amsterdam)
Gossip in Dynamic Networks
09: 45-09: 50 Break
09: 50-10: 20 Malvin Gattinger (Tsinghua-UvA JRC)
Towards a Modal Logic for the Dynamic Gossip Problem
10: 20-10: 40 Tea/coffee Break
10: 40-11: 25 Qingliang Chen (Jinan University, Guangzhou)
Higher-order Epistemic Coalition Logic
11: 25-11: 30 Break
11: 30-12: 00 Miao Xie (Chinese Academy of Sciences)
Using Stochastic Model Checking for Influence Maximization in Dynamic Social Networks
12: 00-14: 00 Lunch
Session 4 Chair: Alexandru Baltag
14: 00-14: 45 Olivier Roy (University of Bayeuth)
Open Reading Without Free Choice
14: 45-14: 50 Break
14: 50-15: 35 Fengkui Ju (Beijing Normal University)
A Process Modality in Trace Semantics
15: 35-15: 55 Tea/coffee Break
15: 55-16: 25 Shengyang Zhong (University of Amsterdam and Sun Yat-sen University)
On Modal Axiomatizations of the Friendship Relation
16:25-16:30 Break
16:40-17:25 Johan van Benthem (Stanford and UvA)
In Between High and Low Rationality
18: 00-20: 00 Dinner
the 3rd tsinghua logic colloquium.pdf