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

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