News
Apr 15, 2026
ICARM mentioned in Quanta
ICARM director Jeremy Avigad is quoted in Quanta Magazine's survey of AI's arrival in mathematical research.
→
Dec 11, 2025
Join ICARM at JMM 2026
Find ICARM at the 2026 Joint Mathematics Meetings in Washington, DC — at our exhibition booth and a two-part tutorial on automated reasoning.
→
Aug 4, 2025
NSF launches ICARM as a pilot institute
The National Science Foundation has established ICARM at Carnegie Mellon as one of six new mathematical sciences research institutes, part of a $74-million investment.
→