为深入推动量子计算与逻辑领域的学术交流与多学科交叉融合，助力高层次专业人才培养，学院于2月1日至7日在泰安成功主办“泰山量子计算与逻辑冬季学校”。本次冬季学校汇聚了来自全国高校和科研机构的青年学者、研究生及业界人士，反响热烈，成效显著。
本次冬季学校特邀冯元教授（清华大学、国家海外高层次人才）、Piotr Kulicki教授（波兰卢布林天主教大学）、邓玉欣教授（上海财经大学）、钟盛阳副教授（北京大学）以及Roberto Giuntini教授（意大利卡利亚里大学、欧洲科学与艺术学院院士）等国际知名专家授课。课程内容涵盖量子Hoare逻辑、量子赋能共识机制、量子进程代数、Birkhoff-von Neumann量子逻辑体系，以及从“锐利”到“非锐利”的量子逻辑前沿探索，系统呈现了量子计算与逻辑领域的理论基础、研究进展与未来方向。本次冬季学校吸引了来自清华大学、阿姆斯特丹大学、香港中文大学、中国社会科学院等国内外著名高校和科研机构的学员参与。
培训期间，学员们通过密集的课程学习、专题研讨与互动交流，深入理解了量子程序验证、分布式量子共识、量子代数语义等核心议题，并就量子技术在区块链、人工智能等新兴场景中的应用展开了富有启发性的讨论。课程不仅强化了理论素养，也激发了跨学科创新思维。
作为主办方，学院始终致力于搭建高水平学术平台，促进基础科学与前沿技术的深度融合。学院青年学者赵之光、孙鑫全程参加，本次冬季学校的成功举办，彰显了学院在推动逻辑学、数学、计算机科学与量子信息交叉研究方面的责任担当与学术影响力。
未来，学院将继续发挥学科优势，深化国际合作，为国家量子科技战略和拔尖创新人才培养贡献坚实力量。
作者、图片来源：陈学勇
供稿审核人：姜 山
终审：穆元伟
