Courses

[updated on 2014 July 05]

There are six different courses, covering logic, philosophy, computer science, and linguistics, with an emphasis on the interaction between those fields. Preliminary programs are available as follows, with links to course descriptions.

Programs in the following table are for each of the five days July 3rd, 4th, 5th, 7th, and 8th.
July 6th is a day of organized tourism.

Tracks Track A @ Xin Zhai (新斋) Rm 346 Track B @ Xin Zhai (新斋) Rm 324
Time Logic, Mathematics, and Computation Logic, Language, and Philosophy
9:00-11:00 Logic and Computation
Phokion G. Kolaitis
UC Santa Cruz &
IBM Research – Almaden
Xin Zhai (新斋) Rm 346
Natural Logic
Larry Moss
Indiana University
Xin Zhai (新斋) Rm 324
11:00-11:15 Break
11:15-12:15 Student Session
Xin Zhai (新斋) Rm 324
12:15-2:00 No Program
2:00-4:00 Logic and Quantum Information
Samson Abramsky
Oxford University
Xin Zhai (新斋) Rm 346
Dynamic Logics for Formal Epistemology
Alexandru Baltag, Sonja Smets
The University of Amsterdam
Xin Zhai (新斋) Rm 324
4:00-4:30 Break
4:30-6:30 Many-sorted Logic
and Its Applications

Jouko Väänänen
University of Helsinki &
the University of Amsterdam
Xin Zhai (新斋) Rm 346
Beyond Worlds and Accessibility
Wesley Holliday
UC Berkeley
Xin Zhai (新斋) Rm 324
6:30-8:00 No Program
8:00-9:00 Evening Programs (on following dates)
on July 3 Crash Chinese Course (1)
Li LU
Tsinghua University
Xin Zhai (新斋) Rm 346
on July 4 Making Up One’s Mind: thoughts on the logic of decision
Johan van Benthem
the University of Amsterdam & Stanford University
Main Building (主楼) Rm 327, Chair: Phokion G. Kolaitis
on July 5 What Are the Intellectual Roots of Computers and the Internet?
Christos Papadimitriou
University of California, Berkeley
Main Building (主楼) Rm 327, Chair: Johan van Benthem
on July 6 Crash Chinese Course (2)
Li LU
Tsinghua University
Xin Zhai (新斋) Rm 346