Home Online Mathematical Communication What's new Upcoming workshop on “Machine assisted proofs” at IPAM