中国教育网讯，第12届国际形式化工程大会（ICFEM 2010）于11月17日至19日在华东师范大学召开。华东师范大学软件学院院长何积丰院士担任大会主席。新加坡国立大学Dong Jin Song教授和华东师范大学软件学院朱惠彪教授担任程序委员会主席。国内外近100多位相关领域专家前来与会。

　　本次大会特别邀请到来自美国内布拉斯加大学Matthew Dwyer教授、日本北陸先端科学技術大学Kokichi Futatsug教授以及瑞典乌普萨拉大学Wang Yi教授作为特邀报告人。会议共收到来自29个国家和地区的114篇投稿，经程序委员会严格评审，共录用文章42篇，论文集由国际著名出版社施普林格以LNCS系列出版(LNCS 6447)。

　　国际形式化工程大会（ICFEM）将形式化方法与计算机系统相结合, 既包含科学界的研究探索型问题也包含工业界的应用问题，主要关注已在工业界得到应用的或可以为工业界带来切实利益的理论技术，该会议自1997年在日本举办第一届至今，已成功举办了12届，具有相当的知名度，是形式化方向最重要的国际会议之一。