Hi, I enclose the slides, and thanks for coming. Yijia -------------- next part -------------- A non-text attachment was scrubbed... Name: derand1.pdf Type: application/pdf Size: 202856 bytes Desc: not available URL: <http://cs.sjtu.edu.cn/pipermail/logic/attachments/20121111/ae9c12b5/attachment-0001.pdf>