2026年软件理论讨论班日程安排
注1：2026年春季学期讨论班时间未特别说明均为周三上午10:00-12:00。
注2：有意在讨论班做学术报告的校外学者请直接email联系：sunmeng@math.pku.edu.cn。
|
|
时间（Date）
|
地点（Place） |
报告题目（Title）
|
报告人 |
1 |
2026.3.4 |
知无涯-313 |
关于科研和论文写作的一些建议
|
孙猛 |
2 |
2026.3.11 |
知无涯-313 |
From Monolithic to Compositional: A Compositional Operational Semantics for Crystality |
徐紫云 |
2 |
2026.3.18 |
知无涯-313 |
ClawWorm: Self-Propagating Attacks Across LLM Agent Ecosystems |
张益豪 |
2 |
2026.3.25 |
知无涯-313 |
利用蜕变关系进行强化学习蒸馏 |
邵凯诚 |
2 |
2026.4.1 |
知无涯-313 |
PROBIX: Probing-Guided Suffix Attacks on Large Language Models |
林与心 |
2 |
2026.4.8 |
知无涯-313 |
Monitoring LLM-based Multi-Agent Systems Against Corruptions via Node Evaluation A Closed-Loop Framework for Testing, Interpreting, and Optimizing Reinforcement Learning based on Metamorphic Relations |
邬程灿 邵凯诚 |
往年讨论班信息