Event: update FYP Dry Run

Author: Yibo-Dong

content/event/_index.md

@@ -25,7 +25,7 @@ Timetable for upcoming events in AY25/26 (subject to changes):
 | April 29 |  | --- | ---|
 | April 22 | <font color=blue>Once-for-All: Skeleton-Guided SMT Solver Fuzzing with LLM-Synthesized Generators</font> | Suyang | Maolin Sun |
 | April 15 | <font color=blue>Argus: Automated Discovery of Test Oracles for Database Management Systems Using LLMs</font> | Test Lab | Qiuyang|
-| April 8 | <font color=brown>Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving</font> | Ningke | Ningke |
+| April 8 | <font color=brown>FYP Dry Run</font> | --- | --- |
 | April 1 | <font color=blue>VDBFuzz: Understanding and Detecting Crash Bugs in Vector Database Management Systems</font> | Ningke | Shenao Wang |
 | March 25 |  | <font color=brown>Group Discussion</font> | ---| ---|
 | March 24 | <font color=green>Reading Group</font> | Yuancheng | ---|