@mathmoves

The Simons Laufer Mathematical Sciences Institute (SLMath) in Berkeley, California (formerly MSRI). Learn more: https://xitter.cf/t.co/GBm5Ia71Cy

 Berkeley, CA
slmath.org
Joined April 2010
  • Tweets3.1K
  • Following1.2K
  • Followers9.4K
634Media
Register for SLMath's "Frontier of PDE Formalization and Analysis with AI" workshop Dec. 7-8 in Berkeley, CA and online. Priority funding deadline: Oct. 15 - registration is open through workshop dates. slmath.org/workshops/1207 - Organizers: @WuyangC @patrickshafto & Weiran Sun
SLMath (MSRI) Workshop: Frontier of PDE Formalization and Analysis with AIDecember 7-8, 2026 at SLMath in Berkeley, CA and online via Zoom - free registration.The formalization of mathematics is undergoing a quiet revolution. Computational proof assistants like Lean now make it possible to build verified, machine-checkable libraries of mathematics at scale, and the frontier of partial differential equations (PDEs) stands as one of the most profound and underexplored territories in this landscape. At the same time, large language models and AI for mathematics (AI4Math) are beginning to reshape how researchers discover, conjecture, and verify mathematical results. This workshop is supported by the US National Science Foundation (NSF) and the AI for Math Fund.Register now at https://www.slmath.org/workshops/1207 - Register early for funding (priority funding deadline: October 15, 2026)

ALT SLMath (MSRI) Workshop: Frontier of PDE Formalization and Analysis with AIDecember 7-8, 2026 at SLMath in Berkeley, CA and online via Zoom - free registration.The formalization of mathematics is undergoing a quiet revolution. Computational proof assistants like Lean now make it possible to build verified, machine-checkable libraries of mathematics at scale, and the frontier of partial differential equations (PDEs) stands as one of the most profound and underexplored territories in this landscape. At the same time, large language models and AI for mathematics (AI4Math) are beginning to reshape how researchers discover, conjecture, and verify mathematical results. This workshop is supported by the US National Science Foundation (NSF) and the AI for Math Fund.Register now at https://www.slmath.org/workshops/1207 - Register early for funding (priority funding deadline: October 15, 2026)

3
1
7
1,323
Reminder: Oct. 1 2026 deadline for proposals for a joint BIRS – PIMS – SLMath Graduate Summer School, Summer 2028 at the University of British Columbia, Okanagan Campus (UBC-O). Details: mailchi.mp/slmath/call-for-p…
4
2
847
Research Professor applications for visits of 3+ months in Fall 2027 SLMath programs on "Algebraic Combinatorics" + "New Trends in Tropical Geometry" are due Oct. 1, 2026. Research Members (visits of 30+ days) and semester-long Postdocs, apply by Nov. 1. mathjobs.org/jobs/SLMath
1
2
544
The 2026 Blackwell-Tapia Prize for research and mentoring in the mathematical sciences will be awarded to Dr. Johnny Guzmán, Associate Chair & Professor of Applied Mathematics at @BrownUniversity, at the 13th Blackwell-Tapia Conference in December. slmath.org/news-and-events/b… @ICERM
2026 Blackwell-Tapia Prize for Research and Mentoring in the Mathematical Sciences: Dr. Johnny Guzmán (Brown University). The 2026 Blackwell-Tapia Conference and Award Ceremony is December 4-5, 2026, at Rice University in Houston, Texas, organized by the Institute for Computational and Experimental Research in Mathematics (ICERM) with support from the National Science Foundation. Learn more at https://www.tinyurl.com/blackwelltapia2026

ALT 2026 Blackwell-Tapia Prize for Research and Mentoring in the Mathematical Sciences: Dr. Johnny Guzmán (Brown University). The 2026 Blackwell-Tapia Conference and Award Ceremony is December 4-5, 2026, at Rice University in Houston, Texas, organized by the Institute for Computational and Experimental Research in Mathematics (ICERM) with support from the National Science Foundation. Learn more at https://www.tinyurl.com/blackwelltapia2026

2
4
454
Apply now for PROOF 2027 at SLMath in Berkeley, CA. Groups of 2-5 researchers with partial results on an established project may apply for a 2-week team visit in June-July 2027. View details & eligibility: slmath.org/proof/423. Priority application deadline: October 16, 2026.
PROOF 2027 flyer preview: view full program details at https://www.slmath.org/proof/423

ALT PROOF 2027 flyer preview: view full program details at https://www.slmath.org/proof/423

1
7
744
SLMath (MSRI) retweeted
Wuyang Chen@WuyangCAug 23
Join our SLMath workshop Dec 7-8, in Berkeley or on Zoom! Speakers span PDE analysis and Mathlib. Travel grants available; apply now. We seek progress and attention for verifiable PDE analysis. Thanks to our host @mathmoves and to @RenPhilanthropy, with support from @xtxmarkets!
SLMath (MSRI)@mathmovesAug 21
Register: SLMath workshop "Frontier of PDE Formalization and Analysis with AI", Dec. 7-8, 2026 (Berkeley / Online). Limited funding for in-person participation for early career mathematicians, including graduate students (Oct. 15 funding deadline): slmath.org/workshops/1207
Workshop flyer for "Frontier of PDE Formalization and Analysis with AI" workshop at SLMath. All details available at https://www.slmath.org/workshops/1207. This workshop brings together three communities — PDE analysts, Lean/Mathlib developers, and AI/AI4Math researchers from both academia and industry — to chart a shared path forward. Some familiarity with Lean is helpful.

ALT Workshop flyer for "Frontier of PDE Formalization and Analysis with AI" workshop at SLMath. All details available at https://www.slmath.org/workshops/1207. This workshop brings together three communities — PDE analysts, Lean/Mathlib developers, and AI/AI4Math researchers from both academia and industry — to chart a shared path forward. Some familiarity with Lean is helpful.

2
12
966
SLMath (MSRI) retweeted
Patrick Shafto@patrickshaftoAug 22
Register! Join us!
SLMath (MSRI)@mathmovesAug 21
Register: SLMath workshop "Frontier of PDE Formalization and Analysis with AI", Dec. 7-8, 2026 (Berkeley / Online). Limited funding for in-person participation for early career mathematicians, including graduate students (Oct. 15 funding deadline): slmath.org/workshops/1207
Workshop flyer for "Frontier of PDE Formalization and Analysis with AI" workshop at SLMath. All details available at https://www.slmath.org/workshops/1207. This workshop brings together three communities — PDE analysts, Lean/Mathlib developers, and AI/AI4Math researchers from both academia and industry — to chart a shared path forward. Some familiarity with Lean is helpful.

ALT Workshop flyer for "Frontier of PDE Formalization and Analysis with AI" workshop at SLMath. All details available at https://www.slmath.org/workshops/1207. This workshop brings together three communities — PDE analysts, Lean/Mathlib developers, and AI/AI4Math researchers from both academia and industry — to chart a shared path forward. Some familiarity with Lean is helpful.

7
25
2,685
Register: SLMath workshop "Frontier of PDE Formalization and Analysis with AI", Dec. 7-8, 2026 (Berkeley / Online). Limited funding for in-person participation for early career mathematicians, including graduate students (Oct. 15 funding deadline): slmath.org/workshops/1207
Workshop flyer for "Frontier of PDE Formalization and Analysis with AI" workshop at SLMath. All details available at https://www.slmath.org/workshops/1207. This workshop brings together three communities — PDE analysts, Lean/Mathlib developers, and AI/AI4Math researchers from both academia and industry — to chart a shared path forward. Some familiarity with Lean is helpful.

ALT Workshop flyer for "Frontier of PDE Formalization and Analysis with AI" workshop at SLMath. All details available at https://www.slmath.org/workshops/1207. This workshop brings together three communities — PDE analysts, Lean/Mathlib developers, and AI/AI4Math researchers from both academia and industry — to chart a shared path forward. Some familiarity with Lean is helpful.

1
10
2
39
5,863
Supported by the AI for Math Fund, this brings together PDE analysts, Lean/Mathlib developers and AI/AI4Math researchers to chart a shared path forward, identify PDE topics ripe for formalization in Mathlib, AI tools to accelerate the work & collaborative structures for progress.
1
4
338
SLMath thanks the Guru Krupa Foundation, a #MathicalBooks sponsor, for making possible the Mathical Collection Development Awards for U.S. Title I school libraries, organized in partnership with @SLJournal - 40 schools purchased Mathical award-winning titles for PreK-12 students.
352
SLMath membership applications for Fall 2027 research programs in Algebraic Combinatorics and New Trends in Tropical Geometry open August 1, 2026 via MathJobs. Research Professors (Oct. 1 deadline), Research Members & Postdocs (Nov. 1 deadline) - details: slmath.org/apply
2
8
615
In March 2025, 2026 Fields Medalist Hong Wang and Joshua Zahl announced their joint progress on the Kakeya set conjecture, leading to resolution in dim 3, at a Hot Topics workshop at SLMath in Berkeley. View the lectures describing their result: slmath.org/news-and-events/h…
Hong Wang presenting at SLMath's March 2025 Hot Topics workshop

ALT Hong Wang presenting at SLMath's March 2025 Hot Topics workshop

7
1
74
2,908
Today at #ICM2026: SLMath Trustees Dr. Marilyn Simons, Dr. Dan Freed, and Dr. May Chu are among those pictured here awarding the 2026 Chern Medal, founded by Dr. Chu in honor of MSRI / SLMath co-founder Dr. Shiing-Shen Chern, her father.
International Congress of Mathematicians 2-26 awards ceremony Chern Medal presentation. (Photo by SLMath Director Tatiana Toro)

ALT International Congress of Mathematicians 2-26 awards ceremony Chern Medal presentation. (Photo by SLMath Director Tatiana Toro)

3
8
528
Congratulations to the 2026 Fields Medal recipients!
Simons Foundation
@SimonsFdnJul 23
During today's #ICM2026 opening ceremonies, the IMU announced the 2026 Fields Medals recipients: @UChicago's Yu Deng, @stonybrooku's John Pardon, @UofT's Jacob Tsimerman, and Hong Wang of @nyuniversity and @Institut_IHES. Read more: bit.ly/4psOJbU
headshot of Yu Deng

ALT headshot of Yu Deng

headshot of John Pardon

ALT headshot of John Pardon

headshot of Jacob Tsimerman

ALT headshot of Jacob Tsimerman

headshot of Hong Wang

ALT headshot of Hong Wang

1
14
1,114
Welcome Dr. Juan C. Meza, Deputy Director of SLMath! A Professor of Applied Mathematics at UC Merced, Dr. Meza previously served as NSF Division Director of Mathematical Sciences (2018-2022) and UC Merced Dean of the School of Natural Sciences (2011-2017). slmath.org/news-and-events/j…
1
4
419
The SLMath Board of Trustees announces the search for a new Institute Director to succeed Dr. Tatiana Toro, whose term concludes in July 2027. The Board invites applications and nominations of colleagues to shape the future of the mathematical sciences: wittkieffer.com/positions/a1…
Call for Applications and Nominations: Institute Director, 2027-2032 (with possibility of renewal). Simons Laufer Mathematical Sciences Institute (SLMath) in Berkeley, California, USA. Learn more at https://www.slmath.org/jobs

ALT Call for Applications and Nominations: Institute Director, 2027-2032 (with possibility of renewal). Simons Laufer Mathematical Sciences Institute (SLMath) in Berkeley, California, USA. Learn more at https://www.slmath.org/jobs

2
430
Undergraduates, graduate students, and recent PhDs attending the SACNAS Annual Conference in Long Beach, California this October are invited to register for the 2026 Modern Math Workshop on Thursday, Oct. 29. Register early by July 3 to request funding: slmath.org/workshops/1132
Modern Math Workshop - October 29, 2026 in Long Beach, California. The Simons Laufer Mathematical Sciences Institute (SLMath) will host the 2026 Modern Math Workshop (MMW) as part of the SACNAS Annual Conference. The MMW encourages undergraduates to pursue careers in the mathematical sciences, and builds research and networking opportunities among undergraduates, graduate students and recent PhDs. The workshop begins at noon on Thursday, October 29 with a "Conversations with the Scientists" lunch. Representatives from the U.S. National Science Foundation (NSF) mathematics institutes will attend. Following lunch there will be two mini-courses aimed at undergraduates, and research sessions aimed at graduate students and recent PhDs. A reception will be held in the evening, open to all participants. More info and registration: https://www.slmath.org/workshops/1132

ALT Modern Math Workshop - October 29, 2026 in Long Beach, California. The Simons Laufer Mathematical Sciences Institute (SLMath) will host the 2026 Modern Math Workshop (MMW) as part of the SACNAS Annual Conference. The MMW encourages undergraduates to pursue careers in the mathematical sciences, and builds research and networking opportunities among undergraduates, graduate students and recent PhDs. The workshop begins at noon on Thursday, October 29 with a "Conversations with the Scientists" lunch. Representatives from the U.S. National Science Foundation (NSF) mathematics institutes will attend. Following lunch there will be two mini-courses aimed at undergraduates, and research sessions aimed at graduate students and recent PhDs. A reception will be held in the evening, open to all participants. More info and registration: https://www.slmath.org/workshops/1132

1
1
7
511
Thanks to Dr. @umaabythelake for the amazing talk on AI and machine learning applications the Jet Propulsion Laboratory. Thanks also to @mathmoves for hosting us again.
Dr. Umaa Rebbapragada speaking on machine learning applications at the Simons Laufer Mathematical Sciences Institute as part of a UC Berkeley Space Sciences Laboratory event.

ALT Dr. Umaa Rebbapragada speaking on machine learning applications at the Simons Laufer Mathematical Sciences Institute as part of a UC Berkeley Space Sciences Laboratory event.

The auditorium of the at the Simons Laufer Mathematical Sciences Institute in shades of orange and brown. Dr. Umaa Rebbapragada speaking on machine learning applications before attendees from the UC Berkeley Space Sciences Laboratory.

ALT The auditorium of the at the Simons Laufer Mathematical Sciences Institute in shades of orange and brown. Dr. Umaa Rebbapragada speaking on machine learning applications before attendees from the UC Berkeley Space Sciences Laboratory.

2
7
634
Deadline extended to April 30, 2026: Apply for visits of 1-4 weeks in AxIOM Spring 2027 research programs at SLMath in Berkeley. Open to researchers with PhD (or equivalent) and students with advanced graduate standing - view details and financial support: mathprograms.org/db/SLMath
AxIOM 2027 Month-Long Research Programs at SLMath in Berkeley, California. Apply for Visits of 1-4 Weeks by Deadline: April 30, 2026. Topics: 1. Commutative Algebra, Representation Theory, and Other Interactions, January 25 - February 19, 2027. 2. Machine Learning for Mathematics, March 1-26, 2027. 3. Building the Mathematical Library of the Future, March 15 - April 9, 2027. 4. Singularities & PDEs Representing Natural Phenomena, May 3-28, 2027. Learn more: https://www.slmath.org/axiom. Apply via MathPrograms: https://www.mathprograms.org/db/SLMath

ALT AxIOM 2027 Month-Long Research Programs at SLMath in Berkeley, California. Apply for Visits of 1-4 Weeks by Deadline: April 30, 2026. Topics: 1. Commutative Algebra, Representation Theory, and Other Interactions, January 25 - February 19, 2027. 2. Machine Learning for Mathematics, March 1-26, 2027. 3. Building the Mathematical Library of the Future, March 15 - April 9, 2027. 4. Singularities & PDEs Representing Natural Phenomena, May 3-28, 2027. Learn more: https://www.slmath.org/axiom. Apply via MathPrograms: https://www.mathprograms.org/db/SLMath

6
583
We extend our deepest gratitude to Prof. Hélène Barcelo as she retires today after 18 years with MSRI/SLMath. During her exemplary tenure as Deputy Director, Hélène oversaw all scientific activities, welcoming the mathematics community to Berkeley & beyond. Félicitations, Hélène!
SLMath honors retiring Deputy Director Hélène Barcelo at her Celebration of Service in March 2026. Pictured from left are SLMath Emeriti Trustee Dr. Judy Walker, SLMath Director Dr. Tatiana Toro, SLMath Deputy Director Dr. Hélène Barcelo, and SLMath Emeriti Trustee and former Director David Eisenbud.

ALT SLMath honors retiring Deputy Director Hélène Barcelo at her Celebration of Service in March 2026. Pictured from left are SLMath Emeriti Trustee Dr. Judy Walker, SLMath Director Dr. Tatiana Toro, SLMath Deputy Director Dr. Hélène Barcelo, and SLMath Emeriti Trustee and former Director David Eisenbud.

2
11
546
Load more