-
Application of the Calabi-Yau theorem in algebraic dynamics
November 29, 2010 - 4:00pm
-
Algebraic topology, formal verification, and program semantics
November 29, 2010 - 3:30pm
-
TBA
November 24, 2010 - 12:30pm
-
The Global Stability of the Minkowski Spacetime Solution to the Einstein-Nonlinear Electromagnetic System in Wave Coordinates
November 23, 2010 - 4:30pm
-
Number Field Sieve Factorization
November 23, 2010 - 10:45am
-
Diophantine approximation exponents of algebraic functions
November 22, 2010 - 4:00pm
-
The Role of Alternative Proofs in Mathematical Practice
November 18, 2010 - 6:00pm
-
Conservation Laws via Characteristic Cohomology and Killing Fields
November 18, 2010 - 4:30pm
-
Quantum cohomology of toric varieties
November 18, 2010 - 1:30pm
-
Smectic topology, topography, and tomography
November 17, 2010 - 4:30pm