BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Mathematics and AI: Tokyo Symposium on the Mathematical Sciences a
 nd Formal Reasoning
DTSTART:20260819T000000Z
DTEND:20260821T090000Z
DTSTAMP:20260619T050300Z
UID:indico-event-5640@indico2.riken.jp
CONTACT:yasushi.kogo@riken.jp
DESCRIPTION:Speakers: Masashi Sugiyama (RIKEN AIP) (RIKEN AIP)\, Hiroshi O
 oguri (Caltech) (Caltech)\, Motoko Kotani (RIKEN PRI) (RIKEN PRI)\, yasuyu
 ki Kawahigashi (RIKEN iTHEMS) (RIKEN iTHEMS)\, Kenichi Bannai (RIKEN AIP) 
 (RIKEN AIP)\, Tetsuo Hatsuda (RIKEN iTHEMS) (RIKEN iTHEMS)\n\nThis interna
 tional symposium brings together leading researchers in the mathematical s
 ciences\, formal reasoning\, and AI-driven discovery to explore the evolvi
 ng relationship between mathematics and AI. The meeting will examine how A
 I is reshaping mathematical research\, from conjecture and proof to formal
 ization and discovery\, while mathematics continues to provide fundamental
  ideas for the theory and reliability of modern AI. Held in Tokyo\, the sy
 mposium aims to foster international dialogue and new collaborations at th
 e interface of mathematics and AI.\nDate and time\n\nAug.19  (Wed)    
   starting at 13:30 (JST)\nAug.20 (Thurs)    starting at 09:30 (JST)\nA
 ug.21  (Fri))        starting at 09:30 (JST)   \n\n \nVenue\n   
      RIKEN Tokyo Office \nInvited Speakers (confirmed)\n\nMiranda Cheng
 （University of Amsterdam / Academia Sinica）\nJohan Commelin（Mathlib 
 Initiative / Utrecht University）\nSergei Gukov（Caltech / Merkin Center
 ）\nShirley Ho（Flatiron Institute / NYU）\nKen Ono（Axiom Math / Univ
 ersity of Virginia）\nRavi Vakil（Stanford University / AMS）\nMichael 
 Douglas（Harvard CMSA）\n\n \n \n \n \n \n\nhttps://indico2.riken.j
 p/event/5640/
LOCATION:RIKEN Tokyo Office
URL:https://indico2.riken.jp/event/5640/
END:VEVENT
END:VCALENDAR