搜索结果: 1-2 共查到“计算机科学技术 ICFEM 2010”相关记录2条 . 查询时间(0.111 秒)
第12届国际形式化工程大会（ICFEM 2010）于11月17日至19日在校召开。我校软件学院院长何积丰院士担任大会主席。国际形式化工程大会（ICFEM）将形式化方法与计算机系统相结合, 既包含科学界的研究探索型问题也包含工业界的应用问题，主要关注已在工业界得到应用的或可以为工业界带来切实利益的理论技术，该会议自1997年在日本举办第一届至今，已成功举办了12届，具有相当的知名度，是形式化方向最重...
第12届国际形式化工程大会（ICFEM 2010）召开（图）
第12届 国际形式化工程大会 ICFEM 2010
2010/11/26
第12届国际形式化工程大会（ICFEM 2010）于2010年11月17日至19日在校召开。我校软件学院院长何积丰院士担任大会主席。新加坡国立大学Dong Jin Song教授和我校软件学院朱惠彪教授担任程序委员会主席。国内外近100多位相关领域专家前来与会。本次大会特别邀请到来自美国内布拉斯加大学Matthew Dwyer教授、日本北陸先端科学技術大学Kokichi Futatsug教授以及瑞典...