Patrick Massot5:30pm | Remote Access Only
A growing number of mathematicians are having fun explaining mathematics to computers using proof assistant softwares. This process is called formalization. For instance, together with Kevin...
Florian Richter3:00pm | https://theias.zoom.us/j/959183254
One of the fundamental challenges in number theory is to understand the intricate way in which the additive and multiplicative structures in the integers intertwine....
Shankar Sastry3:00pm | Remote Access Only - see link below
Opportunities abound for the development of new technologies and business models to address some of the most pressing problems of society. Most notably, the integration of IoT, Data...
Morgan Weiler, Joé Brendel, Abror Pirnapasov9:00am | https://princeton.zoom.us/j/745635914
Morgan Weiler, Rice University: Infinite staircases of symplectic embeddings of ellipsoids into Hirzebruch surfaces...
Aleksander Mądry12:00pm | Remote Access Only - see link below
Michael Hutchings5:30pm | Remote Access Only
Michael I. Jordan3:00pm | Remote Access Only - see link below
Mark McLean9:00am | https://princeton.zoom.us/j/745635914
Gigliola Staffilani5:30pm | Remote Access Only
Csaba Szepesvári3:00pm | Remote Access Only - see link below