暨 Logic Summer School in China 2014
| 时间/日期 |
8月18日 |
8月19日 | 8月20日 | 8月21日 | 8月22日 | 8月23日 |
|---|---|---|---|---|---|---|
| 08:30–10:00 | The Finite Injury Method, by Kengmeng Ng | 参观 |
||||
| 10:00–10:30 | 茶歇 | |||||
| 10:30–12:00 | The Finite Injury Method, by Kengmeng Ng | |||||
| 12:00–13:00 | 午餐 | |||||
| 14:00–15:30 | 冯琦教授报告 | 傅育熙教授报告 | 张树果教授报告 | 丁德成教授报告 | 自由活动 |
|
| 15:30–16:00 | 茶歇 | |||||
| 16:00–17:30 | 冯琦教授报告 | 傅育熙教授报告 | 张树果教授报告 | 丁德成教授报告 | ||
| 18:00 – | 晚餐 | 晚餐 | 晚餐 | 宴会 | ||
| 时间/日期 |
8月24日 |
8月25日 | 8月26日 | 8月27日 | 8月28日 | 8月29日 |
|---|---|---|---|---|---|---|
| 08:30–10:00 | Nonstandard models and reverse mathematics, by Chong Chi Tat 新建楼2025 |
Turing Degree, by Liang Yu | Algorithmic Randomness, by Jan Reimann | |||
| 10:00–10:30 | 茶歇 |
|||||
| 10:30–12:00 | Turing Degree, by Liang Yu | Algorithmic Randomness, by Jan Reimann | ||||
| 12:00–13:00 | 午餐 | |||||
请下载日程安排。