2026-02-10
为深入推动量子计算与逻辑领域的学术交流与多学科交叉融合,助力高层次专业人才培养,学校于2月1日至7日在泰安成功主办“泰山量子计算与逻辑冬季学校”。本次冬季学校汇聚了来自全国高校和科研机构的青年学者、研究生及业界人士,反响热烈,成效显著。本次冬季学校特邀冯元教授(清华大学、国家海外高层次人才)、Piotr Kulicki教授(波兰卢布林天主教大学)、邓玉欣教授(上海财经大学)、钟盛阳副教授(北京大学)以及Roberto Giuntini教授(意大利卡利亚里大学、欧洲科学与艺术学院院士)等国际知名专家授课。课程内容涵盖量子Hoare逻辑、量子赋能共识机制、量子进程代数、Birkhoff-von Neumann量子逻辑体系,以及从“锐利”到“非锐利”的量子逻辑前沿探索,系统呈现了量子计算与逻辑领域的理论基础、研究进展与未来方向。本次冬季学校吸引了来自清华大学、阿姆斯特丹大学、香港中文大学、中国社会科学院等国内外著名高校和科研机构的学员参与。培训期间,学员们通过密集的课程学习、专题研讨与互动交流,深入理解了量子程序验证、分布式量子共识、量子代数语义等核心议题,并就量子技术在区块链、人工智能等新