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.
The Institute for Computer-Aided Reasoning in Mathematics will be at the 2026 Joint Mathematics Meetings in Washington, DC. Stop by our booth on the exhibition floor to meet the team, hear about the institute's research, and learn about upcoming workshops, summer schools, and collaborative visits.
We're also hosting a two-part tutorial, Efficient Search for Combinatorial Objects, on January 5–6 at the Walter E. Washington Convention Center. The sessions introduce how automated reasoning — SAT solvers and related tools — can be used both to find combinatorial objects and to prove that they do not exist.
Whether you already work with proof assistants and automated reasoning or are simply curious where these tools are headed, we'd love to talk. Join our mailing list to hear what ICARM does next.