The 30th International Conference on Principles and Practice of Constraint Programming (CP 2024) 最佳论文奖 - 会议报告
The 36th International Conference on Computer Aided Verification (CAV 2024) 杰出论文奖 - 会议报告
23th Formal Methods in Computer-Aided Design (FMCAD 2023), 特邀报告（蔡少伟）
6th Indian Winter SAT+SMT School, 特邀报告（蔡少伟）
14th Annual Symposium on Combinatorial Search (SOCS 2021)，特邀报告（蔡少伟）