首页 > 云南会议 > 瑞丽会议指南

第12届国际形式化工程大会ICFEM 2010召开

☆ 2014-03-08 10:11:14 访问 0

云南旅游线路了解更多旅游线路旅游咨询在线咨询



 

 

 中国教育网讯,第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届,具有相当的知名度,是形式化方向最重要的国际会议之一。

评论 共0条 显示当前5查看全部
留言内容
游客称呼 联系方式 验证码: 点击换一张
畅游云南线路定制,请在线咨询或者拨打13888842262

云南旅游线路分类检索

按景区分类

按主题分类

按行程分类

云南旅游景点推荐

游记攻略

西双版纳傣族自治州特色-最佳旅游时间 西双版纳地区属于热带雨林气候,夏无酷暑,冬无严寒,四季温暖宜人。最佳的旅游时...

云南人文

大理白族祭鸟节 远古的时候,云南鹤庆大干山的歌泉边,有个长满野枇杷和杜鹃花的小村子,叫黄郁坪...

云南旅游信息网客服