软件分析和验证研讨会拟定于2012年11月3-4日在苏州举办 - 在校|研一·研二·研三 - 软院网 RuanYuan.Net

软件分析和验证研讨会本届是由中科大-耶鲁高可信软件联合研究中心主办，11月3日和4日在中科大苏州研究院举行，请感兴趣的且没有课程的同学去参加相关的会议，具体的会议日程等见附件，介绍如下：

今年的软件分析和验证研讨会拟定于2012年11月3-4日在苏州举办。研讨会旨在促进国内在软件分析与验证、形式化方法等相关研究领域的研究人员的交流、沟通与合作。软件分析与验证研讨会由张健老师发起，已在南京（2010年由南京大学计算机学院软件工程研究组主办）、长沙（2011年由国防科技大学计算机学院、并行与分布处理国防科技重点实验室主办）成功举办两届。本次研讨会将由中科大-耶鲁高可信软件联合研究中心主办，并得到了中国科学技术大学苏州研究院和计算机学院的大力支持。