Ahlfors Lecture Series: Akshay Venkatesh
November 18, 2024 - November 19, 2024 4:30 pmSpeaker: Akshay Venkatesh - Institute for Advanced Study
Register November 18: (Re)imagining mathematics in a world of reasoning machines In the coming decades, developments in automated reasoning will likely transform the way...
Read more
Read more