U.S. National Science Foundation

Mathematical Sciences Institutes

Home
Institutes
Events
Highlights
Videos
About

Videos

TBA

Presenter

Bogdan Georgiev

May 13, 2026

Event: Techniques and Tools for the Formalization of Analysis

MathInstitutes.org

Home
Institutes
Events
Highlights
Videos
About

Institutes

AIM
IAS
ICARM
ICERM
IMSI
IPAM
SLMath

Search

Events

Highlights

Videos

Any opinions, findings, and conclusions or recommendations expressed on this website are those of the participants and do not necessarily reflect the views of the U.S. National Science Foundation or the participating institutions. This site is maintained collaboratively by principal investigators of the active Mathematical Sciences Research Institute awards, independent of NSF.

support@icerm.brown.edu