近日，第12屆國際形式化工程大會(ICFEM2010)在華東師范大學召開。美國內(nèi)布拉斯加大學、日本北陸先端科學技術(shù)大學、瑞典烏普薩拉大學、新加坡國立大學等國內(nèi)外近100多位相關(guān)領(lǐng)域?qū)＜遗c會。此次大會共收到來自29個國家和地區(qū)的114篇投稿，經(jīng)程序委員會嚴格評審，共錄用文章42篇，論文集由國際著名出版社施普林格以LNCS系列出版(LNCS6447)。

　　國際形式化工程大會(ICFEM)將形式化方法與計算機系統(tǒng)相結(jié)合，既包含科學界的研究探索型問題也包含工業(yè)界的應(yīng)用問題，主要關(guān)注已在工業(yè)界得到應(yīng)用的或可以為工業(yè)界帶來切實利益的理論技術(shù)。該會議自1997年在日本舉辦第一屆至今，已成功舉辦了12屆，具有相當?shù)闹?，是形式化方向最重要的國際會議之一。