ICARM https://icarm.io Institute for Computer-Aided Reasoning in Mathematics Fri, 20 Mar 2026 17:33:22 +0000 en-US hourly 1 https://wordpress.org/?v=6.9.4 https://icarm.io/wp-content/uploads/2025/11/Logo-ICARM-gears-150x150.png ICARM https://icarm.io 32 32 Join ICARM at JMM 2026 https://icarm.io/uncategorized/2025/12/11/join-icarm-at-jmm-2026/ Thu, 11 Dec 2025 17:53:35 +0000 https://icarm.io/?p=636

The Insitute for Computer-Aided Reasoning will be on the exhibition floor at the 2026 Joint Mathematical Meetings. Stop by to learn more about our mission and the role AI (old-fashioned, neural, and other) is playing in mathematics. 

]]> NSF launches ICARM as a pilot institute https://icarm.io/uncategorized/2025/08/04/623/ Mon, 04 Aug 2025 16:00:00 +0000 https://icarm.io/?p=623

NSF invests over $74 million in 6 mathematical sciences research institutes.

]]>