diff --git a/content/event/_index.md b/content/event/_index.md index 6c18ffb..112cd6b 100644 --- a/content/event/_index.md +++ b/content/event/_index.md @@ -1,5 +1,5 @@ --- -title: Recent & Upcoming Seminars +title: Recent & Upcoming Events # View. # 1 = List @@ -21,23 +21,45 @@ Timetable for upcoming events in AY25/26 (subject to changes): | Date | Title | Host | Invitee | | ------ | ------------------------------------------------------------ | --------- | ---------- | -| Aug 19 | AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents | Ningke Li | Haoyu Wang | -| 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: 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 | | | -| Oct 10 | Linalg is All Your Need | TEST Lab | Ivan Ho | -| 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: Insight behind current/previous research | | | -| Nov 11 | FYP Presentation Dry Run | | | -| Nov 18 | Zhaokun Presentation | Zhaokun | \ | -| Nov 25 | Canceled for Final Exams | | | +| May 6 | Group Discussion | --- | ---| +| April 29 | | --- | ---| +| April 22 | | --- | ---| +| April 15 | | --- | ---| +| April 8 | | --- | ---| +| April 7 | Reading Group | Zhaokun | ---| +| April 1 | | --- | ---| +| March 25 | | --- | ---| +| March 24 | Reading Group | Yuancheng | ---| +| March 18 | | --- | ---| +| March 11 | Qiyu Presentation | --- | ---| +| March 10 | Reading Group | Yibo | ---| +| March 4 | | --- | ---| +| Feb 25 | Recess Week | --- | ---| +| Feb 18 | | --- | ---| +| Feb 11 | | --- | ---| +| Feb 10 | Reading Group | Junwen | ---| +| Feb 4 | Suyang Dry Run | --- | ---| +| Jan 28 | Skip | --- | ---| +| Jan 27 | Reading Group | Ningke | ---| +| Jan 21 | Group Discussion | --- | ---| +| --- | Winter Break | --- | --- | | Dec 2 | Group Discussion | | | -| ... | | | | +| Nov 25 | Canceled for Final Exams | | | +| Nov 18 | Zhaokun Presentation | Zhaokun | \ | +| Nov 11 | FYP Presentation Dry Run | | | +| Nov 4 | Group Discussion: Insight behind current/previous research | | | +| Oct 28 | Finding Bugs in MLIR Compiler Infrastructure via Lowering Space Exploration | Yibo Dong | Jingjing Liang | +| Oct 21 | PUBLIC HOLIDAY | \ | \ | +| Oct 14 | OOPSLA Week | \ | \ | +| Oct 10 | Linalg is All Your Need | TEST Lab | Ivan Ho | +| Oct 7 | OOPSLA SRC Dry Run | | | +| Sep 30 | "My productivity is boosted, but ..." Demystifying Users' Perception on Al Coding Assistants | Junwen An | Yunbo Lyu | +| Sep 23 | Recess Week | | | +| Sep 16 | Group Discussion: Self Introduction | | | +| Sep 9 | Canceled | \ | \ | +| Sep 2 | Static bug detection in the era of LLMs | Yibo Dong | Yiling Lou | +| Aug 26 | Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle | Ningke Li | Xiaokun Luan | +| Aug 19 | AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents | Ningke Li | Haoyu Wang | + Details of upcoming and past talks below.