<ul><li>Conference Name: ZMC Conference 2025</li><li>Title: Anabelian Geometry and its Computer Formalization</li><li>Dates: July 1 - July 4, 2025</li><li>Venue: Floor 12, Dwango Seminar Room, KABUKIZA TOWER, 4-12-15 Ginza, Chuo-ku, Tokyo, 104-0061 JAPAN</li><li>Organizers:<ul><li>Johan Commelin (Utrecht)</li><li>Yuichiro Hoshi (RIMS, Kyoto)</li><li>Fumiharu Kato (ZMC)</li><li>Kiran Kedlaya (UCSD)</li><li>Adam Topaz (Alberta)</li></ul></li><li>Conference Theme: Recently, more and more people have become interested in the formalization of mathematics by computers, and are becoming more and more aware that Lean4 formalizations and verifications of mathematics have the potential to significantly change the way of doing the research mathematics in the future. These formalizations have already been applied to various areas of arithmetic geometry, and at this conference we would like to discuss the potential of Lean4 formalization of anabelian geometry. In this conference, we would like to discuss not only the latest research presentations on anabelian geometry, but also the construction of libraries related to anabelian geometry. We will also work in small groups to actually work on the formalization of mathematics related to anabelian geometry by Lean4. The conference will also include a session on automatic formalization by machine learning.</li><li>Participation: Reservation required, free</li><li>Reservation: click here（<a href="https://docs.google.com/forms/d/e/1FAIpQLSd7Jg4PWJ-RATxazSjwc2cj3W1lY2iaS1-YSwn7Hbw6bliIvg/viewform?usp=dialog）">https://docs.google.com/forms/d/e/1FAIpQLSd7Jg4PWJ-RATxazSjwc2cj3W1lY2iaS1-YSwn7Hbw6bliIvg/viewform?usp=dialog）</a></li></ul>

ZMC Conference 2025

<ul><li>Conference Name: ZMC Conference 2025</li><li>Title: Anabelian Geometry and its Computer Formalization</li><li>Dates: July 1 - July 4, 2025</li><li>Venue: Floor 12, Dwango Seminar Room, KABUKIZA TOWER, 4-12-15 Ginza, Chuo-ku, Tokyo, 104-0061 JAPAN</li><li>Organizers:<ul><li>Johan Commelin (Utrecht)</li><li>Yuichiro Hoshi (RIMS, Kyoto)</li><li>Fumiharu Kato (ZMC)</li><li>Kiran Kedlaya (UCSD)</li><li>Adam Topaz (Alberta)</li></ul></li><li>Conference Theme: Recently, more and more people have become interested in the formalization of mathematics by computers, and are becoming more and more aware that Lean4 formalizations and verifications of mathematics have the potential to significantly change the way of doing the research mathematics in the future. These formalizations have already been applied to various areas of arithmetic geometry, and at this conference we would like to discuss the potential of Lean4 formalization of anabelian geometry. In this conference, we would like to discuss not only the latest research presentations on anabelian geometry, but also the construction of libraries related to anabelian geometry. We will also work in small groups to actually work on the formalization of mathematics related to anabelian geometry by Lean4. The conference will also include a session on automatic formalization by machine learning.</li><li>Participation: Reservation required, free</li><li>Reservation:<a href="https://docs.google.com/forms/d/e/1FAIpQLSd7Jg4PWJ-RATxazSjwc2cj3W1lY2iaS1-YSwn7Hbw6bliIvg/viewform?usp=dialog" target="_blank" rel="noopener noreferrer nofollow"> click here</a></li></ul>

ZMCカンファレンス2025 開催のお知らせ

Upon the approval of ZEN University, the former IUGC was renamed ZEN Mathematics Center (ZMC). The ZMC will be managed by the following organization. •   Director: Fumiharu Kato •   Deputy Director: Ivan Fesenko •   Administrative Staff: Akiko Takagi •   Technical Staff: Daisuke Seshita, Toshihiko Nakazawa

Announcement of name change to ZEN Mathematics Center (ZMC)

2024年11月12日（火）、旧IUGCはZEN数学センター（ZEN Mathematics Center）と改称しました。 今後、以下の体制で運営していきます。<ul><li>所長：加藤 文元</li><li>副所長：イヴァン・フェセンコ</li><li>事務スタッフ：高木 章子</li><li>テクニカルスタッフ：瀬下 大輔、中澤俊彦</li></ul>

TOPICS

ZMCカンファレンス2025 開催のお知らせ

ZEN数学センター（ZMC）へ改称のお知らせ