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

开云手机登录入口,开云(中国):2011-05-30浏览次数:36

 

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

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


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


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

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

 

 

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


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