From eaf08c7c5b4b33bac8e10571be5d715713f0ccff Mon Sep 17 00:00:00 2001
From: yibo <386083722@qq.com>
Date: Tue, 20 Jan 2026 09:53:24 +0800
Subject: [PATCH] Event: update 2026 table
---
content/event/_index.md | 58 ++++++++++++++++++++++++++++-------------
1 file changed, 40 insertions(+), 18 deletions(-)
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.