题目：量子算法：简单之美

报告人：李绿周

时间： 2023-11-27 2023年11月27日上午9：30-12：30

地点：计算机学院楼509会议室

题目：Synthesizing (Differential) Invariants by Reduction Non-Convex Programming to SDP

报告人：詹乃军

时间： 2023-11-27 下午4点30

地点：计算机学院507会议室

题目：复杂软件配置的思考与探索

报告人：李姗姗

时间： 2023-11-01 上午10：30

地点：计算机学院507会议室

题目：智能合约形式化验证技术

报告人：赵永望

时间： 2023-11-15 上午9：00-12：00

地点：计算机学院楼511会议室

题目：AI后门的分析和验证

报告人：孙军

时间： 2023-11-30 上午10:00-12:00

地点：计算机507会议室

题目：当深度学习遇见认知科学新理论

报告人：龚怡宏

时间： 2023-11-09 下午15:30—17:30

地点：学院楼511