Hi, I enclose the slides for yesterday's talk. Best, Yijia -------------- next part -------------- A non-text attachment was scrubbed... Name: derand3.pdf Type: application/pdf Size: 194565 bytes Desc: not available URL: <http://cs.sjtu.edu.cn/pipermail/logic/attachments/20121126/531dc2e5/attachment-0001.pdf>