2010年Waterloo描述逻辑研讨会论文集

论文集下载链接：

https://docs.google.com/leaf?id=0B4e6u_s5iHT6N2Q5NmI3MjEtZDM1Zi00ZWYyLWJjMTItZjE1Mjk0M2FiODM5&sort=name&layout=list&num=50

初夏时去的Waterloo，到处都是大雁（野鹅）和人。

感觉这个社团的研究者都是在提出各种优化小技巧，大多是理论上的，泛泛而谈，少数真正落到实验。Ian Horrocks的人相对强一些，有东西实打实拿出来，他本人还做了一个关于他从研究生到目前整个研究经历的演讲，这个有点意思。