计算机科学与技术学院
 
新闻信息
新闻
教学信息
科研信息
学术活动
通知公告
更多>>学术活动
  • 美国克拉克森大学Chen Liu副教授学术报告会

    题目:An Integrated Hardware/Software Framework for Adaptive Thread Management in Modern Microprocessors

    时间:2018年6月19日16:00

    地点: 西区电三楼632学术报告厅

  • 中国科大智能与大数据峰会

    时间:2018年6月16日-17日

    1.开幕式(6月16日上午9:00-9:30)

      地点:西区科技实验楼218会议室

    2.峰会主题演讲(6月16日上午9:30-12:00)

      地点:西区科技实验楼218会议室

      演讲嘉宾:陈国良、刘云浩

    3.分论坛(6月16日下午14:30-17:30)

      智能领域:

      地点:西区科技实验楼218会议室

      演讲嘉宾:田第鸿、方明、庞建新、户磊

      大数据领域:

      地点:西区科技实验楼118会议室

      演讲嘉宾:熊辉、谭营、徐泽水、张师超

      物联网领域:

      地点:西区电三楼632会议室

      演讲嘉宾:张燕咏、梁家恩、陈云霁

  • 南瑞集团研究院杨志宏副院长报告会

    题目:能源互联网前沿技术应用

    时间:2018年6月13日10:00

    地点:西区电三楼632学术报告厅

您现在的位置:首页>新闻信息>教学信息

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