学会举办第四届零误差计算及其应用学术研讨会

日期: 2017-10-27编辑作者:admin

为了推动零误差计算及其应用研究,增进该领域国内外同行间的学术交流,7月12日—14日,四川省计算机学会组织省内从事该领域研究的中国科学院成都计算机应用研究所、中国科学院重庆绿色智能技术研究院自动推理与认知重庆市重点实验室在成都召开“第四届零误差计算及其应用研讨会”。中国科学院张景中院士、杨路研究员莅临会议指导并做学术报告,来自西南地区高校、军工科研单位、企业近40余人参加会议,10人做学术技术交流报告。学会秘书长宋昌元出席会议并讲话、副理事长王晓京研究员主持学术研讨会。

 

   零误差计算研讨会会场。

   

   零误差计算是理论计算机科学的重要领域,也是智能计算的一个分支,在社会经济、军事及相关领域都有着潜在的应用前景。该理论最早由张景中院士于2005年首先提出,其研究成果发表在《中国科学:数学》中英文版。近10年来,张院士领导的团队不断解决了该问题的一些核心理论和计算问题,并探索在计算机自动推理领域开展应用,不少年轻的研究人员积极加入这一领域的研究,也获得了一些理论成果。重庆研究院冯勇研究员作了“零误差计算的进展”报告,系统的介绍了其研究的最新理论成果和面向实际应用的安全攸关系统成功案例。

 

相关文章

四川省计算机学会组织全省六十余名师生 赴港参

全国IT界与教育界,迎来了一次隆重的学术交流盛宴与一场精彩纷呈的学术争霸赛2017港澳台泛珠三角地区IT院长教育创...

发布日期:2017-10-27 详细>>

关于举办CCF NOI(信息学奥赛)2017冬令营及全国中

一、活动内容:1.授课、讨论(第一、二课堂同步进行);2.国家集训队队员交流,所有营员均可参加;3.上机练习(...

发布日期:2017-06-02 详细>>

第四届中国计算机学会(CCF)大数据学术会议暨丝绸

袁占亭、李睿、陈克恭、巨有谦与四位专家研讨大数据中国甘肃网10月12日讯(本网记者王若瑜文/图)10月11日,第四届中...

发布日期:2017-05-22 详细>>

【要闻】四川省计算机学会高职高专分会2016年年

近日,由我院承办的四川省计算机学会高职高专分会2016年年会成功召开,会议主题“推进创新创业,聚焦专业内涵,...

发布日期:2017-05-19 详细>>

2017全国两会专用词典,学会议精神再也不怕拦路

“一府”是指人民政府,“两院”是指人民法院、人民检察院。答:指“丝绸之路经济带”和“21世纪海上丝绸之路”...

发布日期:2017-05-15 详细>>

2015年第六届中国计算机学会服务计算学术会议征

2015年第六届中国计算机学会服务计算学术会议征文通知由中国计算机学会主办,中国计算机学会服务计算专业委员会...

发布日期:2017-05-12 详细>>

电脑键盘快捷键大全,学会了很牛气!

1.很多时候,需要暂时离开座位去做别的事情,如果对自己的电脑安全很重视,不妨按住windows键后,再按L键,这样电...

发布日期:2017-05-12 详细>>

海南省第三届计算机论坛暨海南省计算机学会2

由海南省科学技术协会、海南省工业和信息化厅、海南省教育厅支持,海南省计算机学会主办的海南省第三届计算机...

发布日期:2017-05-12 详细>>

四川省计算机学会高职高专分会:大数据时代下

2016年11月18-20日,四川省计算机学会高职高专分会年会在成都工业职业技术学院成功举办。会议主题“推进大数据产业...

发布日期:2017-04-23 详细>>

【要闻】四川省计算机学会高职高专分会2016年年

近日,由我院承办的四川省计算机学会高职高专分会2016年年会成功召开,会议主题“推进创新创业,聚焦专业内涵,...

发布日期:2017-04-23 详细>>