Start date cannot be after end date.
Incidence Theory and Uniform Distribution in Higher Dimensions
Presenter
- Alex Iosevich
February 14, 2023
IAS
Adam Topaz - The Liquid Tensor Experiment - IPAM at UCLA
Presenter
- Adam Topaz
February 13, 2023
IPAM
Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLA
Presenter
- Benedikt Ahrens
February 13, 2023
IPAM
Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA
Presenter
- Andrej Bauer
February 13, 2023
IPAM
John Harrison - Formalization and Automated Reasoning: A Personal and Historical Perspective
Presenter
- John Harrison
February 13, 2023
IPAM
Geordie Williamson - What can the working mathematician expect from deep learning? - IPAM at UCLA
Presenter
- Geordie Williamson
February 13, 2023
IPAM
Efficient Verification of Computation on Untrusted Platforms
Presenter
- Yael Kalai
February 13, 2023
IAS
Non-standard Contact Structures on Spheres and Applications
Presenter
- Agustin Moreno
February 13, 2023
IAS
Diophantine Geometry Introductory Workshop: Polynomials with Squarefree Discriminant
Presenter
- Arul Shankar
February 10, 2023
SLMath