时间/日期
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.

  1. Sun Xiaoming (Chapters 1, 2, 3)

  2. Yin Yitong (Chapters 4, 5, 9) [Slides]

  3. Chen Yijia (Chapters 10, 11) [Slides 1, 2 ]

  4. David P.Woodruff (Techniques for lower bounds; Information complexity techniques) [ Slides 1,2,3 ]

Contributed Talks:

  1. Deng Yuxin (Title of talk: On Coinduction and Quantum Lambda Calculi) [Slides]

  2. Fu Yuxi (Title of talk: On Lambda Calculus of Concurrent Computation)

  3. Moritz Mueller (Title of talk: 1. Cobham Recursive Set Functions; 2. Homomorphisms) [Slides]

请下载日程安排