BASICS 2015 Summer School

注册

1. 会议通知
2. 注册回执
3. 日程安排

讲义

Tutorial:

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]