2011年第三屆亞太地區形式化方法暑期學校

■  你相信自己的數學直覺嗎？

 
　你寫下的證明真的可靠嗎？

　你理解各種數學證明技巧的原理嗎？

　你會用數學證明來自動生成計算機程序嗎？

　2011年8月13日至21日，第三屆亞太地區形式化方法暑期學校，將教你學用世界著名的證明輔助工具Coq，感受數學與計算機結合的完美藝術！詳情請見附件。

■  聯係方式：
　電子郵件：kyhcs@ustc.edu.cn,
　電話：0512-87161322
　網址：http://kyhcs.ustcsz.edu.cn/fmschool-2011  
　中科大—耶魯高可信軟件聯合研究中心