diff --git a/apps/web/src/routes/(main)/math/+page.svelte b/apps/web/src/routes/(main)/math/+page.svelte
index b2e2228..8db4477 100644
--- a/apps/web/src/routes/(main)/math/+page.svelte
+++ b/apps/web/src/routes/(main)/math/+page.svelte
@@ -79,6 +79,16 @@ type Talk = {
 };
 
 const talks: Talk[] = [
+  {
+    title: "IML でも CML でもない直観主義様相論理について",
+    talkers: ["Yuta Sato"],
+    conference: {
+      name: "第60回MLG数理論理学研究集会",
+      url: "https://www2.kobe-u.ac.jp/~tk/jp/workshop/MLG2025/",
+    },
+    location: "神戸大学",
+    date: new Date(2025, 12 - 1, 20),
+  },
   {
     title: "命題化とカット除去による N+Am,n の一様 Lyndon 補間定理の証明",
     talkers: ["Yuta Sato"],