School of Mathematics
Type Systems and Proof Assistant
Vladimir Voevodsky
Professor, School of Mathematics, IAS
October 10, 2012 - 11:00am
Hole Probability for Entire Functions Represented by Gaussian Taylor Series
Alon Nishry
Tel Aviv University
October 9, 2012 - 3:00pm
We study the hole probability of Gaussian entire functions. More specifically, we work with entire functions given by a Taylor series with i.i.d complex Gaussian random variables and arbitrary non-random coefficients.
On the Conjectures of Nonnegative $k$-Sum and Hypergraph Matching
Hao Huang
University of California, Los Angeles; Member, School of Mathematics
October 9, 2012 - 10:30am
Parallel Repetition of Two Prover Games: A Survey
Ran Raz
Weizmann Institute; Member, School of Mathematics
October 8, 2012 - 2:00pm
I will give an introduction to the problem of parallel repetition of two-prover games and its applications and related results in theoretical computer science (the PCP theorem, hardness of approximation), mathematics (the geometry of foams, tiling the space R^n) and, if time allows, physics (Bell inequalities, the EPR paradox).
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