＜＜＜「@」を「__AT__」に置き換えています＞＞＞

To: sgl , ml-np 
Date: Mon, 8 Jun 2026 08:58:33 +0000
Subject: [Sg-l:10423] 【参加登録開始のご案内】RIKEN Mathematics & AI Symposium 2026（8/18–21, 東京）
From: Tetsuo Hatsuda (Sg-l 経由) 

皆様
このたび理化学研究所では、数理科学・形式推論（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）


---------------------------------------------
Executive Director of Science, RIKEN
Chief Science Advisor, RIKEN SUURI https://www.riken-suuri.jp/
Prof. Emeritus, The Univ. of Tokyo  https://www.phys.s.u-tokyo.ac.jp/en/
------------------------------------------------------