Hi, I enclose the slides for today's talk. Best, Yijia -------------- next part -------------- A non-text attachment was scrubbed... Name: derand4.pdf Type: application/pdf Size: 186882 bytes Desc: not available URL: <http://cs.sjtu.edu.cn/pipermail/logic/attachments/20121202/9dda2d76/attachment-0001.pdf>