发布时间:2012-05-21 10:35 原文链接: 软件所“2012中国图灵年活动”启动

  5月16日上午9:00,中科院软件研究所举行了2012中国图灵年开幕式活动。就此,纪念著名科学家图灵百年诞辰的系列活动拉开帷幕。

  美国康奈尔大学教授、1986年图灵奖获得者约翰·霍普克罗夫特,英国利兹大学教授、欧洲可计算性协会主席、图灵百年纪念咨询委员会主席拍瑞·库珀,2006年奈望林纳奖获得者乔恩·克莱因伯格,中国科学院院士、北京航天航空大学前校长李未等国内外嘉宾应邀出席,参加会议的还有来自国内外的近200位学者和来自新华社、人民日报、中国科学报、科技日报、人民网、计算机世界以及中国计算机报等新闻媒体的朋友们。

  中国科学院软件研究所党委书记、副所长李玉成代表软件所对嘉宾和学者的到来表示热烈欢迎。今年6月23日是被誉为计算机科学和人工智能之父的英国著名科学家阿兰·图灵诞辰100周年纪念日。图灵是伟大的科学家,他不仅在数学、生物数学、计算机科学、信息科学、人工智能等领域对后来科学发展产生了重要影响,更重要的是他研究背后深刻的科学思想。

  李玉成表示,我们正面临着21世纪科学、技术变革的新挑战,举办中国图灵年活动,对于中国科学发展,是必要而且重要的。同时,为期一周的学术活动为中国学者、学生和世界级科学家提供了一个面对面交流的机会,也为参会学者提供了一个交流、合作的平台。

  在上午举行的“2012图灵演讲”中,约翰·霍普克罗夫特教授作了《图灵机的影响》的报告,重点介绍了图灵机在程序设计、自动机方面的作用,以及引导出计算复杂性这一新学科;拍瑞·库珀教授在《从图灵机到数学生物》的演讲中,介绍了图灵在计算、可计算性、人工智能、数学生物方面的工作,以及它们对未来的影响。

  根据安排,5月16日至21日期间,软件所将举办中国图灵年系列活动。“2012图灵演讲”活动邀请了包括3位图灵奖获得者在内的7位科学家做学术演讲。这些演讲对国内的学者、学生公开。另外,第9届计算模型的理论和应用年会、2012中国科学未来之星专题、2012中国算法与信息高层论坛也将在活动期间举行。

活动现场

1986年图灵奖获得者约翰·霍普克罗夫特教演讲

欧洲可计算性协会主席、英国利兹大学拍瑞·库珀教授演讲

相关文章

最新中国人工智能计算力发展报告发布

《2022-2023中国人工智能计算力发展评估报告》(以下简称《报告》)日前在京发布。《报告》显示,中国人工智能(AI)计算力继续保持快速增长,2022年智能算力规模达到268百亿亿次/秒(EFLOP......

人工智能,如何妙笔“生”画

核心阅读输入一段话,“绘”出一幅画——人工智能的绘画本领,吸引众多职业画师和零基础用户尝鲜。人工智能绘画的本质是计算,接受“语言描述”指令后根据自身的理解还原出图像。未来,人工智能技术应用于艺术创作等......

国际人工智能大会在中国石油大学(华东)举行

如何把超级计算机技术应用到智能手机上,如何高效、可靠、安全地控制机器人,如何使人工智能技术更加绿色低碳……12月15日至17日举行的2022国际人工智能大会(青岛)暨“一带一路”计算智能前沿学术会议对......

专家热议人工智能如何引领韧性治理与未来科技

近日,第三届人工智能合作与治理国际论坛的第一场主论坛以“人工智能引领韧性治理与未来科技”为题举办。主论坛由清华大学文科资深教授、人工智能国际治理研究院院长薛澜主持。联合国助理秘书长、联合国开发计划署(......

可信可控可用,人工智能呼唤创新的“治理技术”

“人工智能改变了安全格局,进一步扩大了威胁,需要从多个层面进行风险管控。”在近日举办的第三届人工智能合作与治理国际论坛上,针对目前人工智能带来的风险和挑战,中国工程院院士、鹏城实验室主任高文认为,应当......

《开放架构HPC技术与生态白皮书》正式发布

原文地址:http://news.sciencenet.cn/htmlnews/2022/12/491093.shtm2022年12月12日-15日,以“新算力新赋能新未来”为......

新AI“阿尔法扣”胜过近五成“码农”

科技日报讯(实习记者张佳欣)在全球范围内,程序员短缺。如果人工智能(AI)会写代码——只要人类告诉AI想通过程序做什么,将带来许多便利。根据发表在最新一期《科学》杂志上的研究,一款名为“阿尔法扣”(A......

2022中国计算机大会以全线上方式召开

12月8日,2022中国计算机大会(CNCC2022)首度以全线上方式召开。大会由中国计算机学会(CCF)主办,主题为“算力数据生态”,将聚焦国家大力发展数字经济背景下对于算力、数据和生态的创新需求。......

国际最新研究称人工智能可代理谈判和形成协议

中新网北京12月7日电(记者孙自法)施普林格·自然旗下学术期刊《自然-通讯》最新发表一篇人工智能(AI)论文报告称,人工智能代理可谈判和形成协议,使其在桌面游戏《外交》中胜过其他无此能力的代理。这项研......

人工智能会谈判

英国伦敦深度思维公司的一项研究表示,人工智能(AI)代理可谈判和形成协议,使其在桌面游戏《外交》中胜过其他无此能力的代理。这些发现展示了一种深度强化学习方法,用其建模的代理可以与其他人工代理沟通和合作......