ACO Seminar - József Balogh September 25, 2025 Maximal independent sets in the middle two layers of the Boolean lattice
ACO Seminar - Olha Silina September 18, 2025 Perfect matchings, strongly connected orientations, and lattice theory
New NSF Institute Will Help Mathematicians Harness AI, Advance Discoveries Monday, August 4, 2025 With an investment from the National Science Foundation (NSF) and additional support from the Simons Foundation, the Institute for Computer-Aided Reasoning in Mathematics (ICARM) — one of just six mathematics institutes across the U.S. to More