diff --git a/content/event/_index.md b/content/event/_index.md index 112cd6b..89c5c58 100644 --- a/content/event/_index.md +++ b/content/event/_index.md @@ -25,18 +25,18 @@ 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 | | --- | ---| | March 11 | Qiyu Presentation | --- | ---| | March 10 | Reading Group | Yibo | ---| -| March 4 | | --- | ---| +| March 4 | TBD | TEST-lab | Flavien Solt| | 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 | --- | ---|