近日,第12届国际形式化工程大会(ICFEM2010)在华东师范大学召开。美国内布拉斯加大学、日本北陸先端科学技术大学、瑞典乌普萨拉大学、新加坡国立大学等国内外近100多位相关领域专家与会。此次大会共收到来自29个国家和地区的114篇投稿,经程序委员会严格评审,共录用文章42篇,论文集由国际著名出版社施普林格以LNCS系列出版(LNCS6447)。
国际形式化工程大会(ICFEM)将形式化方法与计算机系统相结合,既包含科学界的研究探索型问题也包含工业界的应用问题,主要关注已在工业界得到应用的或可以为工业界带来切实利益的理论技术。该会议自1997年在日本举办第一届至今,已成功举办了12届,具有相当的知名度,是形式化方向最重要的国际会议之一。