2024 CCF形式化方法专委会战略研讨会—形式化方法与人工智能的交叉融合：机遇与挑战 (Cross-integration of formal methods and artificial intelligence - opportunities and challenges)
ESEC/FSE 23 Presentation
软件工程女性学者论坛 (Forum for Women Scholars in Software Engineering)
AIGC下的软件工程新范式论坛
中科院先进计算与数字工程研究所
西安电子科技大学（线上）
