Post

ICARM.io is a new NSF math institute with the goal to support the use of new technologies for mathematical reasoning, including interactive theorem proving, formalization, automated reasoning, and machine learning. They are currently soliciting proposals for workshops, summer schools, and more!