diff --git a/content/event/261118.md b/content/event/261118.md
new file mode 100644
index 00000000..ffcebf9c
--- /dev/null
+++ b/content/event/261118.md
@@ -0,0 +1,20 @@
+---
+title: "Efficient Dialect-Agnostic SQL Equivalence Refutation"
+
+event: Weekly Talk
+summary: "Junwen An presents SQLWitness, a dialect-agnostic SQL equivalence refutation engine."
+abstract: "SQLWitness identifies inequivalent SQL queries by generating database instances on which they return different results. It uses the DBMS execution engine to capture dialect-specific semantics, combines a constrained data-generation space with integrity-constraint-aware generation, and uses predicate coverage and statistical estimation to guide termination."
+
+# The talk time has not yet been specified.
+date: "2026-11-18T00:00:00+08:00"
+all_day: true
+publishDate: "2026-10-22T00:00:00+08:00"
+
+authors: [Junwen An]
+tags: [Weekly Talk]
+featured: false
+
+url_code: "https://github.com/wanteatfruit/SQLWitness"
+url_pdf: "https://arxiv.org/pdf/2610.22442"
+projects: [sqlwitness]
+---
diff --git a/content/event/_index.md b/content/event/_index.md
index 631e913d..e324433c 100644
--- a/content/event/_index.md
+++ b/content/event/_index.md
@@ -23,7 +23,7 @@ Timetable for upcoming events in AY26/27 (subject to changes):
| ------ | ------------------------------------------------------------ | --------- | ---------- |
| Dec 2 | | --- | --- |
| Nov 25 | | --- | --- |
-| Nov 18 | | --- | --- |
+| Nov 18 | Efficient Dialect-Agnostic SQL Equivalence Refutation | Junwen An | --- |
| Nov 11 | Yibo Dry Run | --- | ---|
| Nov 4 | FYP Dry Run | --- | ---|
| Oct 28 | Ningke Dry Run | --- | ---|
diff --git a/content/project/sqlwitness/index.md b/content/project/sqlwitness/index.md
new file mode 100644
index 00000000..4a7b4ea4
--- /dev/null
+++ b/content/project/sqlwitness/index.md
@@ -0,0 +1,15 @@
+---
+title: "SQLWitness"
+summary: ""
+authors: []
+tags: []
+categories: []
+date: 2026-10-22T00:00:00+08:00
+
+external_link: "https://github.com/wanteatfruit/SQLWitness"
+
+url_code: "https://github.com/wanteatfruit/SQLWitness"
+url_pdf: "https://arxiv.org/pdf/2610.22442"
+---
+
+SQLWitness is a dialect-agnostic SQL equivalence refutation engine that generates database instances on which two queries produce different results.
diff --git a/content/publication/2027-sigmod-sql-equivalence-refutation/index.md b/content/publication/2027-sigmod-sql-equivalence-refutation/index.md
index 8776e7da..3b2c3c2c 100644
--- a/content/publication/2027-sigmod-sql-equivalence-refutation/index.md
+++ b/content/publication/2027-sigmod-sql-equivalence-refutation/index.md
@@ -21,11 +21,11 @@ publication_short: In *SIGMOD 2027*
abstract: ""
-#url_pdf:
+url_pdf: "https://arxiv.org/pdf/2610.22442"
#url_code: '#'
#url_dataset: '#'
#url_poster: '#'
-#url_project: ''
+url_project: "https://github.com/wanteatfruit/SQLWitness"
#url_slides: ''
#url_source: '#'
#url_video: '#'