Installing Lean
Formalization of Mathematics (SLMath) June 05, 2023 - June 16, 2023
Location: MSRI: Simons Auditorium
Location: MSRI: Simons Auditorium
Mathematical Sciences Research Institute
- Home
-
About Us
- Our Mission
- Our History
- Diversity
-
Governance Committees
- Audit Committee
- Board of Trustees
- Committee of Academic Sponsors
- CAS Executive Subcommittee
- CAS Subcommittee on Academic Sponsors Day
- CAS Subcommittee on Summer Graduate Schools
- Committee on Trustees
- Committee on Women in Mathematics
- Directorate
- Educational Advisory Committee
- Emeriti Trustees
- Finance Committee
- Broadening Participation Advisory Committee
- Investment Committee
- Scientific Advisory Committee
- Steering Committee
- Mathical Prize
- Donations Acceptance Committee
- News
- Member Directory
- Staff Directory
- Development
- Facilities
- Photo Gallery
- Jobs
- Directions
- Contact Us
- Privacy Policy
- Women in Mathematics
- Collegiality Statement
- Anti-Discrimination and Harassment Policy
- Ombuds
- Virtual Participation Code of Conduct
- Disability Accommodation
- RFP
- Activities
-
Scientific
- Programs
- Workshops
- Summer Research in Mathematics
- ADJOINT
-
Colloquia & Seminars
- Colloquia & Seminars Home
- All Colloquia & Seminars
- MSRI Evans/ Lectures Series
- Postdoc Seminars
- Graduate Seminars
- Other Colloquia & Seminars
- Career Development Seminars
-
Spring 2022 Seminars
- AGRS Junior Seminar
- AGRS Seminar Series
- AGRS Research Seminar
- AGRS Learning Seminar
- AGRS Learning Seminar on Conformal Dimension
- COMD Hubbard Semigroup Series
- COMD Junior Seminar
- COMD Research Seminar
- COMD Polynomial Arithmetic Dynamics Reading Group
- COMD Essential Seminar
- COMD Stony Brook + MSRI Seminar Series
- COMD Learning Seminar
- AGRS Mini Course
- Fall 2021 Seminars
- Spring 2021 Seminars
-
Fall 2020 Seminars
- RAS: Five Minute Talks
- RAS: Research Seminar
- RAS: Program Associate Seminar
- RAS: Postdoc Seminar
- DDC: Five Minute Talks
- DDC: Diophantine Problems
- DDC: Junior Seminar
- DDC: Valuation Theory
- DDC: Definability Seminar
- DDC: Reading Group - Valuations on dp-finite fields
- DDC: Online Seminar
- DDC: Computability Theory
- DDC: Model Theory seminar
- DDC: Introductory Seminar
- Request for Proposals
- Member Application
- Resources for Members
- Library
- Calendar for Scientists
- Current
- Past
- Upcoming
- Education
-
Communications
- MSRI in the news
- Press Releases
- Math Videos
- Other Films & Videos
- Books/Pamphlets
- Emissary
- Subscribe to Newsletter
- Library
- Postcards
- Celebratio Mathematica
- COVID-19 Advocacy Letter
- Tatiana Toro Named MSRI Director, 2022-2027
- 2021-22 Status Updates
- In Memoriam: Georgia Benkart
- 2021 Schedule Updates (COVID-19)
- MSRI Reopening Statement (2020-21)
- MSRI Press Release - May 19 2022
- MRJ 2021 Compendium Release
- 2022-23 Status Updates
- Public
- Visiting
- Support
- Calendar