Date: January 9, 2016
Time: 09:00 -- 17:00
Place: Shanghai Jiao Tong University, Xuhui Campus, 总办公厅
| 09:00-09:30 | Yuxin Deng | On Coinduction and Quantum Lambda Calculi |
| 09:30-10:00 | Dongdong Ge | Complexity and algorithms of some regression models |
| 10:00-10:30 | Tea Break | |
| 10:30-11:00 | Fu Song | On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference |
| 11:00-11:30 | Zhengyang Liu | Assignment and Pricing in Roommate Market |
| 11:30-13:30 | Lunch | |
| 13:30-14:30 | Hong Zhu | The New Research on Graph Isomorphism |
| 14:30-15:00 | Lingfei Jin | Erasure List-Decodable Codes from Random and Algebraic Geometry Codes |
| 15:00-15:30 | Tea Break | |
| 15:30-16:00 | Yijia Chen | Some Remarks on Enumerating Homomorphisms |
| 16:00-16:30 | Shizhong Zhao | Sources of Errors in Floating Point Arithmetic |
| 16:30-17:00 | Juntao Wang | When Group-buying Meets Cloud Computing |
