Math
School of Mathematics
Identity Testing of Tensors, Low Rank Recovery and Compressed Sensing
Amir Shpilka
Technion
October 8, 2012 - 11:15am
The Inverse Galois Problem for PSL_2(F_p)
David Zywina
Queen's University; Member, School of Mathematics
October 4, 2012 - 2:30pm
Hope for a Type-Theoretic Understanding of Zero-Knowledge
Noam Zeilberger
IMDEA Software Institute; Member, School of Mathematics
October 4, 2012 - 2:15pm
Iwasawa Theory for Unitary Groups
Xin Wan
Princeton University; Member, School of Mathematics
October 4, 2012 - 2:00pm
Homotopy Type Theory in Coq
Michael Warren
Dalhousie University; Member, School of Mathematics
October 4, 2012 - 11:00am
Type Classes for Mathematical Formalizations in Coq
Matthieu Sozeau
INRIA Paris; Member, School of Mathematics
October 3, 2012 - 3:45pm
Inernal Languages for Higher Toposes
Michael Shulman
University of California, San Diego; Member, School of Mathematics
October 3, 2012 - 3:30pm
The Relative Fukaya Category, Symplectic and Quantum Cohomology
Nicolas Sheridan
Massachusetts Institute of Technology; Member, School of Mathematics
October 3, 2012 - 2:30pm
Random Band Matrices: Local Regime
Tetiana Shcherbyna
ILTPE of the National Academy of Sci. of Ukraine; Member, School of Mathematics
October 3, 2012 - 2:15pm
Counting GL_2(\mathbb{Z}) orbits on binary quartic forms and applications
Arul Shankar
Princeton University; Member, School of Mathematics
October 3, 2012 - 2:00pm
