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

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