2012 年3月10日到18日 王彦晶应 Benedikt L?we 教授的邀请访问剑桥大学牛顿数理科学研究所，参与Semantics and Syntax: A Legacy of Alan Turing项目的研究，具体课题是Epistemic Planning。

关于Semantics and Syntax: A Legacy of Alan Turing 项目可见：http://www.newton.ac.uk/programmes/SAS/

2012 年是图灵诞辰100年，全球有很多纪念活动，详情见：http://www.mathcomp.leeds.ac.uk/turing2012/