From 1c0f4b0de1456d892af728d272d1f14d980aec80 Mon Sep 17 00:00:00 2001
From: cannorin <cannorin@users.noreply.github.com>
Date: Wed, 3 Dec 2025 18:07:20 +0900
Subject: [PATCH] math: Add MLG 60th

---
 apps/web/src/routes/(main)/math/+page.svelte | 10 ++++++++++
 1 file changed, 10 insertions(+)

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"],