暨 Logic Summer School in China 2015
时间/日期 |
7月13日 |
7月14日 | 7月15日 | 7月16日 | 7月17日 | 7月18日 | 7月19日 |
---|---|---|---|---|---|---|---|
08:30–10:00 | Sun Xiaoming | Sun Xiaoming | David Woodruff | Yin Yitong | Yin Yitong | Chen Yijia | Chen Yijia |
10:00–10:30 | 茶歇 | ||||||
10:30–12:00 | Sun Xiaoming | Sun Xiaoming | David Woodruff | Yin Yitong | Yin Yitong | Yin Yitong | Yin Yitong |
12:00–13:00 | 午餐 | ||||||
14:00–15:30 | Fu Yuxi | Deng Yuxin | David Woodruff | 自由活动 | Moritz Mueller | 待定 | 疏散 |
15:30–16:00 | 茶歇 | ||||||
16:00–17:30 | Q&A | Q&A | Q&A | 自由活动 | Q&A | 待定 | |
18:00 – | 晚餐 | 晚餐 | 晚餐 | 宴会 | 晚餐 | 晚餐 |
Tutorial: Communication Complexity, by Kushilevitz and Nisan. Cambridge University Press, 1997.
Sun Xiaoming (Chapters 1, 2, 3)
Yin Yitong (Chapters 4, 5, 9) [Slides]
David P.Woodruff (Techniques for lower bounds; Information complexity techniques) [ Slides 1,2,3 ]
Contributed Talks:
Deng Yuxin (Title of talk: On Coinduction and Quantum Lambda Calculi) [Slides]
Fu Yuxi (Title of talk: On Lambda Calculus of Concurrent Computation)
Moritz Mueller (Title of talk: 1. Cobham Recursive Set Functions; 2. Homomorphisms) [Slides]
请下载日程安排。