搜索结果: 1-4 共查到“知识要闻 计算机软件 2010”相关记录4条 . 查询时间(0.856 秒)
第12届国际形式化工程大会（ICFEM 2010）于11月17日至19日在校召开。我校软件学院院长何积丰院士担任大会主席。国际形式化工程大会（ICFEM）将形式化方法与计算机系统相结合, 既包含科学界的研究探索型问题也包含工业界的应用问题，主要关注已在工业界得到应用的或可以为工业界带来切实利益的理论技术，该会议自1997年在日本举办第一届至今，已成功举办了12届，具有相当的知名度，是形式化方向最重...
2010年度科学数据库工作检查与项目验收部署在北京启动（图）
2010年度 科学数据库工作检查与项目验收部署 北京
2010/10/26
2010年10月17至18日，中科院数据应用环境建设与服务专项启动2010年度科学数据库工作检查与项目验收部署，按照此前发布的“十一五”科学数据库验收管理办法，首批18个科学数据库建设项目参加了汇报，接受专家组咨询和建议。来自有关建库单位的代表50余人参加了会议。
近日，大连理工大学软件学院接到学校科学技术研究院关于2010年国家自然科学基金获得资助的通知，软件学院共获得国家自然科学基金资助5项，合计资助金额281万；其中国家自然科学基金重点基金项目1项，面上基金项目2项，青年基金项目2项，数量和质量创学院历年资助之最；其中罗钟铉院长领衔的科研团队实现了大连理工大学软件学院国家自然科学基金重点项目零的突破。
关于征集2010年度NSFC-JSPS协议项目的通知
2010年度 NSFC-JSPS 协议项目
2009/6/26
NSFC/JSPS协议项目是由中国国家自然科学基金委员会（NSFC）与日本学术振兴会（JSPS）联合资助的合作项目。经双方协商，2010年度将共同资助合作项目14项，其中合作交流项目10项，双边研讨会4个（其中2个在中国举办，2个在日本举办）。