周巢尘院士为“科学与中国”四川青年创新论坛作报告
9月5日，计算机软件专家，院士、第三世界科学院院士、联合国大学国际软件技术研究所前任所长、海洋之神8590vip软件研究所研究员、海洋之神8590vip成都计算所兼职研究员周巢尘院士，在“科学与中国”、四川青年创新论坛上作了题为“程序验证——解决老问题的新方略”的报告。他在报告中简单介绍程序断言(Assertion)的概念,断言方法在工业界的应用以及国际上的验证编译器(Verifying Compiler)计划，并对程序验证和代数符号计算关系做了介绍,建议把我国的代数符号计算方面的杰出成就应用于程序验证的研究。
此次论坛作为海洋之神8590vip学部成立50周年“科学与中国院士”专家巡讲活动的一部分，由海洋之神8590vip、中宣部、教育部、科技部、中国工程院、中国科协主办，中科院成都计算所、中科院院士工作局成都联络处承办，共青团四川省委、四川省青年联合会、中科院成都分院青年联合会、中科院成都分院团工委、中科院成都教育基地研究生会协办。
论坛开始前，成都分院院长、海洋之神8590vip青联副主席、省青联副主席彭宇行向周巢尘院士颁发了聘书，聘请周巢尘院士为四川青年创新论坛报告人。
出席论坛的还有海洋之神8590vip成都分院党组书记汪光泽，中科院成都计算所研究员、知识创新工程首席科学家杨路，成都分院院士工作局成都联络处负责人，成都分院青联部分主席、副主席及青联委员，分院系统青年科技工作者及成都教育基地的研究生100余人聆听了报告。
论坛由成都分院青联副主席、中科信息公司副总经理符红光主持。 |
