【参加登録開始のご案内】RIKEN Mathematics & AI Symposium 2026（8/18–21, 東京）

11 views

Skip to first unread message

Masashi Sugiyama

unread,

Jun 24, 2026, 10:40:41 AM (22 hours ago) Jun 24

to 情報論的学習理論と機械学習 (IBISML)

IBISMLの皆様

以下の通りシンポジウムを開催しますので，
ぜひご参加いただければと思います．

理化学研究所
杉山将

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

関係各位

平素より大変お世話になっております。このたび理化学研究所では、数理科学・形式推論（formal reasoning）とAIの接点をテーマとした国際シンポジウム「RIKEN Mathematics & AI Symposium 2026 — Mathematics and AI: Tokyo Symposium on the Mathematical Sciences and Formal Reasoning」を、2026年8月に東京・日本橋にて開催いたします。

本シンポジウムでは、数理科学・形式推論・AI駆動型の数学的発見の第一線で活躍する研究者が一堂に会し、AIが数学研究（予想・証明・形式化・発見）をいかに変えつつあるか、また数学が現代AIの理論や信頼性にいかに本質的な基盤を与えているか、という双方向の関係を探求します。国際的な対話と新たな共同研究の創出を目的としております。

なお会期初日（8月18日）には、Johan Commelin氏（Mathlib Initiative / Utrecht University）によるLean・Mathlib入門、Sergei Gukov氏（Caltech）によるAI for mathematicsに関する午後のチュートリアル講義を設けております。これから当該分野に取り組む研究者・学生の方にも適した内容です。続く本シンポジウム（8/19–21）では、深層学習の数理、最適化、因果的科学的発見など幅広いトピックの講演とポスターセッションを予定しております。

国内外の数学・情報科学・AI分野の関連研究者の皆様に、ぜひご参加いただきたく、本日より参加登録を開始いたしますのでご案内申し上げます。

◆ 開催概要

名称：RIKEN Mathematics & AI Symposium 2026
会期：
- チュートリアル講義：2026年8月18日（火）13:00～17:40（Lean/Mathlib 形式化入門、AI for mathematics）
- 本シンポジウム：2026年8月19日（水）～21日（金）
会場：理化学研究所東京連絡事務所（日本橋一丁目三井ビルディング／COREDO日本橋 15階）東京都中央区日本橋1-4-1
主催：理化学研究所開拓研究本部（PRI）／革新知能統合研究センター（AIP）／数理・計算・情報科学領域

◆ 登録について

登録開始：2026年6月8日（月）正午
登録締切：2026年7月13日（月）正午
登録ページ：https://krs2.riken.jp/m?f=2822
詳細・プログラム：https://pri.riken.jp/symposium/ai4math.html
ポスター（PDF）：https://pri.riken.jp/symposium/images/ai4math/ai4math_2026.pdf

◆ 主な講演者（一部） Miranda Cheng（University of Amsterdam / Academia Sinica）、Johan Commelin（Mathlib Initiative / Utrecht University）、Sergei Gukov（Caltech）、Shirley Ho（Flatiron Institute / NYU / Polymathic AI）、Michael Douglas（Harvard CMSA）、Ken Ono（Axiom Math / University of Virginia）、Ravi Vakil（Stanford University / AMS President）ほか、国内からも東京大学・大阪大学・京都大学・神戸大学・RIKEN AIP等の研究者が多数登壇予定です。

皆様のご参加を心よりお待ち申し上げております。ご関心のありそうな同僚・学生の方々へも、本案内をご転送いただけますと幸いです。

ご不明な点は下記までお問い合わせください。お問い合わせ先：pri-director-office [at] ml.riken.jp

Organizers / Scientific Advisory Committee

Tetsuo Hatsuda（Chair, RIKEN / iTHEMS）
Kenichi Bannai（Keio University / RIKEN AIP）
Yasuyuki Kawahigashi（The University of Tokyo / RIKEN iTHEMS）
Motoko Kotani（RIKEN PRI / iTHEMS）
Hirosi Ooguri（Caltech / The University of Tokyo / RIKEN PRI）
Masashi Sugiyama（RIKEN AIP / The University of Tokyo）

Reply all

Reply to author

Forward

0 new messages