生物计算安全重庆市重点实验室代表参加2026年⾃动推理与⼈⼯智能赋能科学研究学术会议

2026年10月16日至18日，2026年自动推理与人工智能赋能科学研究学术会议在四川省成都市成功举办。中国科学院重庆绿色智能技术研究院作为重要协办单位，实验室的多位代表深度参与此次学术盛会，全面展示了我院在自动推理、信息安全及AI赋能科研等领域的最新研究成果与科研实力。本次会议旨在聚焦自动推理前沿技术发展，深化人工智能与数理科学、基础科研、智能教育等领域的深度融合。中国科学院院士张景中、成都计算所教授杨路、中国科学院院士叶向东等知名专家学者也应邀出席大会，与来自全国各地的科研人员共襄盛举。冯勇、吴文渊等受邀担任大

加拿大西安大略大学邓思远来访并做学术报告

2026年7月8日，加拿大西安大略大学数学系博士后研究员邓思远访问生物计算安全重庆市重点实验室，并在综合科研楼713会议室作题为ContributionstoAlgorithmicFoundationsofApproximateLieSymmetryAlgebrasofDifferentialEquations的学术报告。重点实验室副主任吴文渊研究员主持会议，重点实验室骨干科研人员参会。邓思远博士在报告中针对含近似参数的微分方程模型，提出了一套基于邻近方程精确对称代数的近似李对称代数定义及其局部识别算法，通过结合奇

生物计算安全重庆市重点实验室代表参加第十六届中国数学会计算机数学大会

2026年4月17日至20日，生物计算安全重庆市重点实验室的7名代表参加了在镇江举办的第十六届中国数学会计算机数学大会（CM2026）。本次大会汇聚了国内外计算机数学领域的顶尖专家和学者，共同探讨该领域的最新发展和未来趋势。吴文渊研究员作为国家重点研发计划项目安全可靠数据流通的数学理论与算法课题一同态加密的医学数据处理的负责人，汇报了该课题实施方案和最新进展。吴文渊研究员作报告陈长波研究员作了题为LearningtheComputationofCharacteristicSetsviaSmallTransforme

实验室团队获得2025 iDASH 隐私计算竞赛亚军

近日，美国国立卫生研究院主办的2025iDASH隐私计算竞赛结果揭晓。我院生物计算安全重庆市重点实验室（SCB）吴文渊研究员、陈经纬副研究员带领的参赛队，在竞争激烈的同态加密赛道中表现优异，成功夺得亚军。这是该团队继2024年夺冠后，连续第二年在这项国际顶级赛事中斩获殊荣。iDASH是国际公认的隐私计算领域最高规格竞赛。详见http://www.cigit.cas.cn/yjycg/kyjz/202412/t20241227_7511192.html本次竞赛中，我院SCB@Chongqing队伍面对全球顶尖对手，充