[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 |
|