——总机:0871-66668888 66666888 66666999
资质证书    团队展示    关于我们    联系我们
旅游云南会议栏目导航
云南会议推荐more
  您现在的位置:云南昆明租车包车汽车租赁公司行网>> 云南会议>> 瑞丽会议指南>> 文章内容
第12届国际形式化工程大会ICFEM 2010召开
来源:云南旅游网 发布时间:2010年11月29日 点击数: 收藏文章


 

 中国教育网讯,第12届国际形式化工程大会(ICFEM 2010)于1117日至19日在华东师范大学召开。华东师范大学软件学院院长何积丰院士担任大会主席。新加坡国立大学Dong Jin Song教授和华东师范大学软件学院朱惠彪教授担任程序委员会主席。国内外近100多位相关领域专家前与会。
 
  次大会特别邀请自美国内布拉斯加大学Matthew Dwyer教授、日北陸先端科学技術大学Kokichi Futatsug教授以及瑞典乌普萨拉大学Wang Yi教授作为特邀报告会议共收自29国家和地区114篇投稿,经程序委员会严格评审,共录用文章42篇,论文集由国际著名出版社施普林格以LNCS系列出版(LNCS 6447)。
 
  国际形式化工程大会(ICFEM)将形式化方法与计算机系统相结合, 既包含科学界研究探索问题也包含工业界应用问题关注已在工业界得应用或可以为工业界切实利益理论技术,该会议自1997年在日举办第届至今,已成功举办了12届,具有相当知名,是形式化方向最重国际会议

欢迎各大优秀旅游专业网站交换友情链接,要求条件相当的旅游网站。联系邮箱:aammokok@163.com 管理员

游云南 【网站名称】游云南旅游网
【网站维护】游云南旅游网站网络技术中心
【经理】客服:刘丽 张世杰 刘小菲 董建妮
【负责人】王长明
【公司地址】昆明市北京号89号国旅大楼 【工作时间】早上9.30  下午 14.00-18.00
【旅游咨询热线】0871-66668888  66666888  66666999 【网站备案号】滇ICP备09004484
【传真】0871-63160388  手机: 13808718598 【官方网站】551.cn 云南游