2011年第三届亚太地区形式化方法暑期学校

■ 你相信自己的数学直觉吗？

　你写下的证明真的可靠吗？

　你理解各种数学证明技巧的原理吗？

　你会用数学证明来自动生成计算机程序吗？

　2011年8月13日至21日，第三届亚太地区形式化方法暑期学校，将教你学用世界著名的证明辅助工具Coq，感受数学与计算机结合的完美艺术！详情请见附件。

■ 联系方式：
　电子邮件：kyhcs@ustc.edu.cn,
　电话：0512-87161322
　网址：http://kyhcs.ustcsz.edu.cn/fmschool-2011
　中科大—耶鲁高可信软件联合研究中心