Homotopy type theory and the quest for extensionality
Speaker: Michael Shulman - Dept. of Mathematics, University of San Diego Title: Homotopy type theory and the quest for extensionality Abstract: Over the past decades, dependent type theory has proven to […]
4/22/2021 Quantum Matter Seminar
CMSA Math-Science Literature Lecture: Indistinguishability Obfuscation: How to Hide Secrets within Software
Amit Sahai (UCLA) Title: Indistinguishability Obfuscation: How to Hide Secrets within Software Abstract: At least since the initial public proposal of public-key cryptography based on computational hardness conjectures (Diffie and Hellman, 1976), cryptographers […]
4/26/2021 Math Physics Seminar
CMSA Math-Science Literature Lecture: Moment maps and the Yang-Mills functional
Frances Kirwan (University of Oxford) Title: Moment maps and the Yang-Mills functional Abstract: In the early 1980s Michael Atiyah and Raoul Bott wrote two influential papers, ‘The Yang-Mills equations over Riemann surfaces’ […]
Computational Biology Symposium
On May 3, 2021 the CMSA will be hosting a Computational Biology Symposium virtually on Zoom. This symposium will be organized by Vijay Kuchroo. The symposium will begin at 10:00am ET. There will be a […]
Rank-Based Independence Testing in Near Linear Time
Speaker: Chaim Even-Zohar (Alan Turing Institute, London) Title: Rank-Based Independence Testing in Near Linear Time Abstract: In 1948 Hoeffding proposed a nonparametric test that detects dependence between two continuous random variables (X,Y), […]