BASICS 2016 New Year Workshop

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

Last updated: January 7, 2016