Random Matrix & Probability Theory Seminar
Beginning immediately, until at least December 31, all seminars will take place virtually, through Zoom. In the 2020-2021 AY, the Random Matrix and Probability Theory Seminar will take place on […]
12 events found.
Doing Mathematics with Simple Types: Infinitary Combinatorics in Isabelle/HOL
https://youtu.be/LZMtQNdqtvc Speaker: Lawrence Paulson, University of Cambridge Computer Laboratory Title: Doing Mathematics with Simple Types: Infinitary Combinatorics in Isabelle/HOL Abstract: Are proof assistants relevant to mathematics? One approach to this […]
CMSA Math-Science Literature Lecture: Isadore Singer’s Work on Analytic Torsion
Edward Witten (IAS) Title: Isadore Singer’s Work on Analytic Torsion Abstract: I will review two famous papers of Ray and Singer on analytic torsion written approximately half a century ago. Then I […]
Memorial Conference for the founders of index theory: Atiyah, Bott, Hirzebruch, and Singer
In 2021, the CMSA hosted a lecture series on the literature of the mathematical sciences. This series highlights significant accomplishments in the intersection between mathematics and the sciences. Speakers include […]
Type theory from the perspective of artificial intelligence
https://youtu.be/79ymkGQW3b4 Speaker: David McAllester - Toyota Technological Institute at Chicago Title: Type theory from the perspective of artificial intelligence Abstract: This talk will discuss dependent type theory from the perspective of […]
CMSA Math-Science Literature Lecture: Quantum error correcting codes and fault tolerance
Peter Shor (MIT) Title: Quantum error correcting codes and fault tolerance Abstract: We will go over the fundamentals of quantum error correction and fault tolerance and survey some of the recent developments […]