diff --git a/content/event/_index.md b/content/event/_index.md index 5bdb96a..6c18ffb 100644 --- a/content/event/_index.md +++ b/content/event/_index.md @@ -25,7 +25,7 @@ Timetable for upcoming events in AY25/26 (subject to changes): | Aug 26 | Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle | Ningke Li | Xiaokun Luan | | Sep 2 | Static bug detection in the era of LLMs | Yibo Dong | Yiling Lou | | Sep 9 | Canceled | \ | \ | -| Sep 16 | Group Discussion: Existing Progress and Remaining Challenges | | | +| Sep 16 | Group Discussion: Self Introduction | | | | Sep 23 | Recess Week | | | | Sep 30 | "My productivity is boosted, but ..." Demystifying Users' Perception on Al Coding Assistants | Junwen An | Yunbo Lyu | | Oct 7 | OOPSLA SRC Dry Run | | | @@ -33,10 +33,10 @@ Timetable for upcoming events in AY25/26 (subject to changes): | Oct 14 | OOPSLA Week | \ | \ | | Oct 21 | PUBLIC HOLIDAY | \ | \ | | Oct 28 | Finding Bugs in MLIR Compiler Infrastructure via Lowering Space Exploration | Yibo Dong | Jingjing Liang | -| Nov 4 | Group Discussion | | | -| Nov 11 | Advances in Hardware Model Checking: Algorithms, Challenges, and Performance Diagnosis | Ningke | Yibo | +| Nov 4 | Group Discussion: Insight behind current/previous research | | | +| Nov 11 | FYP Presentation Dry Run | | | | Nov 18 | Zhaokun Presentation | Zhaokun | \ | -| Nov 25 | | | | +| Nov 25 | Canceled for Final Exams | | | | Dec 2 | Group Discussion | | | | ... | | | |