Skip to content

Event: update 2026 table #123

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
Jan 20, 2026
Merged

Event: update 2026 table #123

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
58 changes: 40 additions & 18 deletions content/event/_index.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
title: Recent & Upcoming Seminars
title: Recent & Upcoming Events

# View.
# 1 = List
Expand All @@ -21,23 +21,45 @@ Timetable for upcoming events in AY25/26 (subject to changes):

| Date | Title | Host | Invitee |
| ------ | ------------------------------------------------------------ | --------- | ---------- |
| Aug 19 | <font color=blue>AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents</font> | Ningke Li | Haoyu Wang |
| 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: 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: 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 | Canceled for Final Exams | | |
| May 6 | <font color=brown>Group Discussion</font> | --- | ---|
| April 29 | | --- | ---|
| April 22 | | --- | ---|
| April 15 | | --- | ---|
| April 8 | | --- | ---|
| April 7 | <font color=green>Reading Group</font> | Zhaokun | ---|
| April 1 | | --- | ---|
| March 25 | | --- | ---|
| March 24 | <font color=green>Reading Group</font> | Yuancheng | ---|
| March 18 | | --- | ---|
| March 11 | <font color=brown>Qiyu Presentation</font> | --- | ---|
| March 10 | <font color=green>Reading Group</font> | Yibo | ---|
| March 4 | | --- | ---|
| Feb 25 | <font color=gray>Recess Week</font> | --- | ---|
| Feb 18 | | --- | ---|
| Feb 11 | | --- | ---|
| Feb 10 | <font color=green>Reading Group</font> | Junwen | ---|
| Feb 4 | <font color=brown>Suyang Dry Run</font> | --- | ---|
| Jan 28 | <font color=gray>Skip</font> | --- | ---|
| Jan 27 | <font color=green>Reading Group</font> | Ningke | ---|
| Jan 21 | <font color=brown>Group Discussion</font> | --- | ---|
| --- | Winter Break | --- | --- |
| Dec 2 | <font color=brown>Group Discussion</font> | | |
| ... | | | |
| Nov 25 | Canceled for Final Exams | | |
| Nov 18 | <font color=brown>Zhaokun Presentation</font> | Zhaokun | \ |
| Nov 11 | <font color=brown>FYP Presentation Dry Run</font> | | |
| Nov 4 | <font color=brown>Group Discussion: Insight behind current/previous research </font> | | |
| Oct 28 | <font color=blue>Finding Bugs in MLIR Compiler Infrastructure via Lowering Space Exploration </font> | Yibo Dong | Jingjing Liang |
| Oct 21 | <font color=gray>PUBLIC HOLIDAY </font> | \ | \ |
| Oct 14 | <font color=gray>OOPSLA Week </font> | \ | \ |
| Oct 10 | <font color=blue>Linalg is All Your Need</font> | TEST Lab | Ivan Ho |
| Oct 7 | <font color=brown>OOPSLA SRC Dry Run</font> | | |
| Sep 30 | <font color=blue>"My productivity is boosted, but ..." Demystifying Users' Perception on Al Coding Assistants </font> | Junwen An | Yunbo Lyu |
| Sep 23 | <font color=gray>Recess Week</font> | | |
| Sep 16 | <font color=brown>Group Discussion: Self Introduction</font> | | |
| Sep 9 | Canceled | \ | \ |
| Sep 2 | <font color=blue>Static bug detection in the era of LLMs</font> | Yibo Dong | Yiling Lou |
| 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 |
| Aug 19 | <font color=blue>AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents</font> | Ningke Li | Haoyu Wang |


Details of upcoming and past talks below.