计算机科学与技术学院
 
新闻信息
新闻
教学信息
科研信息
学术活动
通知公告
更多>>学术活动
您现在的位置:首页>新闻信息>教学信息

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

2011-05-30

 

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

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


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


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

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

 

 

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

2011年第三届亚太地区形式化方法暑期学校110414.doc
相关新闻
CopyRight 2009-2014 中国科学技术大学计算机科学与技术学院 All Rights Reserved.
安徽省合肥市黄山路中国科学技术大学西区电三楼
通信地址:安徽省合肥市4号信箱 计算机科学与技术学院 邮政编码:230027