Events Search and Views Navigation

Event Views Navigation

Today

  • CMSA Math-Science Literature Lecture: The Atiyah-Singer Index Theorem

    Virtual

    Dan Freed (The University of Texas at Austin) Title: The Atiyah-Singer Index Theorem Abstract: The story of the index theorem ties together the Gang of Four—Atiyah, Bott, Hirzebruch, and Singer—and lies at the intersection of analysis, geometry, and topology. In the first part of the talk I will recount high points in the early developments. Then I […]

  • CMSA-New-Technologies-in-Mathematics-04.21.21

    Homotopy type theory and the quest for extensionality

    Virtual

    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 be a powerful framework for verified software and formalized mathematics.  However, its treatment of equality has always been somewhat uncomfortable.  Recently, homotopy type theory has […]

  • Lecture_Sahai-pdf

    CMSA Math-Science Literature Lecture: Indistinguishability Obfuscation: How to Hide Secrets within Software

    Virtual

    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 have contemplated the possibility of a “one-way compiler” that translates computer programs into “incomprehensible” but equivalent forms. And yet, the search for such a “one-way […]

  • CMSA Math-Science Literature Lecture: Moment maps and the Yang-Mills functional

    Virtual

    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’ and ‘The moment map and equivariant cohomology’, bringing together ideas ranging from algebraic and symplectic geometry through algebraic topology to mathematical physics and number theory. […]