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个部分，涵盖了量子机器学习、量子算法与复杂性、量子计算指令集体系结构、量子程序设计、量子系统的模型检测技术等量子软件的研究热点，并针对经典计算机科学中对未来量子软件发展具有借鉴意义的相关理论与技术，如概率程序设计、概率模型检测、程序测试与分析等进行了探讨和展望。  

会议现场