Skip to content

Event: update timetable #115

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Yibo-Dong merged 1 commit into from
Nov 6, 2025
Merged

Event: update timetable #115

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions content/event/_index.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -25,18 +25,18 @@ Timetable for upcoming events in AY25/26 (subject to changes):
| Aug 26 | <font color=blue>Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle </font> | Ningke Li | Xiaokun Luan |
| Sep 2 | <font color=blue>Static bug detection in the era of LLMs</font> | Yibo Dong | Yiling Lou |
| Sep 9 | Canceled | \ | \ |
| Sep 16 | <font color=brown>Group Discussion: Existing Progress and Remaining Challenges</font> | | |
| Sep 16 | <font color=brown>Group Discussion: Self Introduction</font> | | |
| Sep 23 | <font color=gray>Recess Week</font> | | |
| Sep 30 | <font color=blue>"My productivity is boosted, but ..." Demystifying Users' Perception on Al Coding Assistants </font> | Junwen An | Yunbo Lyu |
| Oct 7 | <font color=brown>OOPSLA SRC Dry Run</font> | | |
| Oct 10 | <font color=blue>Linalg is All Your Need</font> | TEST Lab | Ivan Ho |
| Oct 14 | <font color=gray>OOPSLA Week </font> | \ | \ |
| Oct 21 | <font color=gray>PUBLIC HOLIDAY </font> | \ | \ |
| Oct 28 | <font color=blue>Finding Bugs in MLIR Compiler Infrastructure via Lowering Space Exploration </font> | Yibo Dong | Jingjing Liang |
| Nov 4 | <font color=brown>Group Discussion </font> | | |
| Nov 11 | <font color=brown>Advances in Hardware Model Checking: Algorithms, Challenges, and Performance Diagnosis</font> | Ningke | Yibo |
| Nov 4 | <font color=brown>Group Discussion: Insight behind current/previous research </font> | | |
| Nov 11 | <font color=brown>FYP Presentation Dry Run</font> | | |
| Nov 18 | <font color=brown>Zhaokun Presentation</font> | Zhaokun | \ |
| Nov 25 | | | |
| Nov 25 | Canceled for Final Exams | | |
| Dec 2 | <font color=brown>Group Discussion</font> | | |
| ... | | | |

Expand Down