| Both sides previous revision Previous revision Next revision | Previous revision |
| start [2025/01/20 09:09] – Diaaeldin Taha | start [2025/03/13 12:07] (current) – Diaaeldin Taha |
|---|
| ---- | ---- |
| |
| Welcome to the wiki of the [[https://www.mis.mpg.de/lab|Mathematics Lab]] at the [[https://www.mis.mpg.de/|Max Planck Institute for Mathematics in the Sciences]]. The Mathematics Lab is a hub founded by Anna Wienhard dedicated to innovative and interdisciplinary research in mathematics with three pillars: experiments and computation in mathematics, mathematics and AI, and outreach. Our aim is to create a space that not only advances mathematical research, but also highlights its beauty and practical relevance in our world. | Welcome to the wiki of the [[https://www.mis.mpg.de/lab|Mathematics Lab]] at the [[https://www.mis.mpg.de/|Max Planck Institute for Mathematics in the Sciences]]. The Mathematics Lab is a hub dedicated to innovative and interdisciplinary research in mathematics with three pillars: experiments and computation in mathematics, mathematics and AI, and outreach. Our aim is to create a space that not only advances mathematical research, but also highlights its beauty and practical relevance in our world. |
| |
| ===== Current Activities ===== | ===== Current and Future Activities ===== |
| |
| | * [[https://www.mis.mpg.de/events/series/workshop-on-geometry-topology-and-machine-learning-gtml-2025|Geometry and Topology in Machine Learning Conference]] (Nov 10-14, 2025) |
| | * [[mathematics_art_minisymposium_2025|Mathematics and Art Minisymposium]] at the Annual Meeting of the German Mathematical Society (Sept 1–5, 2025) |
| * [[https://www.mis.mpg.de/events/series/math4ai-ai4math-workshop|Math4AI/AI4Math Workshop]] (March 14, 2025) | * [[https://www.mis.mpg.de/events/series/math4ai-ai4math-workshop|Math4AI/AI4Math Workshop]] (March 14, 2025) |
| * [[mathematical_methods_machine_learning|Math and Machine Learning: Theory and Applications lecture series]] | * [[https://www.mis.mpg.de/events/event/interactive-theorem-proving-in-lean-i|Interactive Theorem Proving in Lean Mini-Course]] (March 12–13, 2025) |
| | * [[mathematical_methods_machine_learning|Math and Machine Learning: Theory and Applications lecture series]] (November 11, 2024–March 24, 2025) |
| * [[https://www.mis.mpg.de/events/series/mis-mathematics-lab-seminar|Mathematics Lab Seminar]] | * [[https://www.mis.mpg.de/events/series/mis-mathematics-lab-seminar|Mathematics Lab Seminar]] |
| |
| ===== Past Activities ===== | ===== Past Activities ===== |
| |
| * [[geometry_topology_data_science_spring_2024|Geometry and Topology in Data Science meetings]] | * [[geometry_topology_data_science_spring_2024|Geometry and Topology in Data Science meetings]] (May 10, 2024–July 12, 2024) |
| | * [[https://www.mis.mpg.de/events/series/math-ai-day|Math & AI Day]] (Feb 29, 2024) |
| |