软件所成功举办“量子软件:从理论到实现”研讨会
9月27日至9月29日,中国科学院软件研究所成功举办了“量子软件:从理论到实现”研讨会。清华大学、北京大学、北京航空航天大学、南京大学、中国科技大学、电子科技大学、中山大学、华东师范大学等高校,中科院计算所、数学与系统科学研究院等研究院所以及腾讯、百度、中兴、华为等企业共200多人参加了会议。中科院前沿局相关人员也参加了此次研讨。研讨会由软件所学术副所长应明生研究员主持。
研讨会上,中科院软件所研究员应明生、百度量子计算研究所所长段润尧、腾讯量子计算实验室主任张胜誉、中科院计算所研究员孙晓明、华东师范大学教授邓玉欣等十余位量子领域专家作了专题报告,并对现有的量子程序设计平台与工具等成果进行了展示。
本次研讨会包括“量子机器学习(Quantum Machine Learning)”、“量子算法与复杂度(Quantum Algorithms and Complexity)”、“从概率编程到量子编程(From probabilistic programming to quantum programming)”、“量子编程环境:编译、模拟和测试(Quantum programming environment:compilation, simulation and testing)”和“量子程序设计平台与工具展示”5个部分,涵盖了量子机器学习、量子算法与复杂性、量子计算指令集体系结构、量子程序设计、量子系统的模型检测技术等量子软件的研究热点,并针对经典计算机科学中对未来量子软件发展具有借鉴意义的相关理论与技术,如概率程序设计、概率模型检测、程序测试与分析等进行了探讨和展望。
与软件所共同申请建设卓越创新中心的相关单位参加了此次研讨会,对进一步凝练卓越创新中心的建设目标起到了积极作用。
研讨会会议现场
应明生研究员主持会议并作了精彩报告
“量子机器学习”报告会
“量子算法与复杂度”报告会
“从概率编程到量子编程”报告会
“量子编程环境:编译、模拟和测试”报告会
研讨会上进行了热烈的交流讨论
转载自软件所网站
http://www.iscas.ac.cn/xwdt2016/rdxw2016/201810/t20181008_5138868.html