From 2cbdbc4faf971f2e68b4965399c07f2f7fb0c55d Mon Sep 17 00:00:00 2001
From: yibo <386083722@qq.com>
Date: Tue, 27 Jan 2026 14:04:39 +0800
Subject: [PATCH 1/3] Event: update event and holiday
---
content/event/_index.md | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/content/event/_index.md b/content/event/_index.md
index 112cd6b..f770bb7 100644
--- a/content/event/_index.md
+++ b/content/event/_index.md
@@ -35,8 +35,8 @@ Timetable for upcoming events in AY25/26 (subject to changes):
| March 10 | Reading Group | Yibo | ---|
| March 4 | | --- | ---|
| Feb 25 | Recess Week | --- | ---|
-| Feb 18 | | --- | ---|
-| Feb 11 | | --- | ---|
+| Feb 18 | Skip: Chinese New Year | --- | ---|
+| Feb 11 | Comfrey: Mitigating Integration Failures in LLM-enabled Software at Run-Time | Yibo Dong | Yuchen Shao |
| Feb 10 | Reading Group | Junwen | ---|
| Feb 4 | Suyang Dry Run | --- | ---|
| Jan 28 | Skip | --- | ---|
From 1514dbe2ab172024d95b1ecd6e81eade96fcf1d6 Mon Sep 17 00:00:00 2001
From: yibo <386083722@qq.com>
Date: Tue, 27 Jan 2026 17:50:26 +0800
Subject: [PATCH 2/3] Event: update Flavien Solt's talk
---
content/event/_index.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/content/event/_index.md b/content/event/_index.md
index f770bb7..37bd5e2 100644
--- a/content/event/_index.md
+++ b/content/event/_index.md
@@ -33,7 +33,7 @@ Timetable for upcoming events in AY25/26 (subject to changes):
| March 18 | | --- | ---|
| March 11 | Qiyu Presentation | --- | ---|
| March 10 | Reading Group | Yibo | ---|
-| March 4 | | --- | ---|
+| March 4 | TBD | TEST-lab | Flavien Solt|
| Feb 25 | Recess Week | --- | ---|
| Feb 18 | Skip: Chinese New Year | --- | ---|
| Feb 11 | Comfrey: Mitigating Integration Failures in LLM-enabled Software at Run-Time | Yibo Dong | Yuchen Shao |
From 5b247b47df476a3af28175a472d78f1fd6a2c43f Mon Sep 17 00:00:00 2001
From: yibo <386083722@qq.com>
Date: Tue, 27 Jan 2026 18:33:50 +0800
Subject: [PATCH 3/3] Event: update invited talks
---
content/event/_index.md | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/content/event/_index.md b/content/event/_index.md
index 37bd5e2..89c5c58 100644
--- a/content/event/_index.md
+++ b/content/event/_index.md
@@ -25,9 +25,9 @@ Timetable for upcoming events in AY25/26 (subject to changes):
| April 29 | | --- | ---|
| April 22 | | --- | ---|
| April 15 | | --- | ---|
-| April 8 | | --- | ---|
+| April 8 | Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving | Ningke | Ningke |
| April 7 | Reading Group | Zhaokun | ---|
-| April 1 | | --- | ---|
+| April 1 | VDBFuzz: Understanding and Detecting Crash Bugs in Vector Database Management Systems | Ningke | Shenao Wang |
| March 25 | | --- | ---|
| March 24 | Reading Group | Yuancheng | ---|
| March 18 | | --- | ---|