Hope for a Type-Theoretic Understanding of Zero-Knowledge
Noam Zeilberger
IMDEA Software Institute; Member, School of Mathematics
October 4, 2012
The Inverse Galois Problem for $PSL_2(F_p)$
David Zywina
October 4, 2012
Symplectic Geometry and Quantum Noise
Leonid Polterovich
Tel Aviv University and SCGP
October 5, 2012
We discuss a quantum counterpart, in the sense of the Berezin-Toeplitz quantization, of certain constraints on Poisson brackets coming from "hard" symplectic geometry. It turns out that they can be interpreted in terms of the quantum noise of observables in operational quantum mechanics.
Identity Testing of Tensors, Low Rank Recovery and Compressed Sensing
Amir Shpilka
Technion
October 8, 2012
Parallel Repetition of Two Prover Games: A Survey
Ran Raz
Weizmann Institute; Member, School of Mathematics
October 8, 2012
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).
On the Conjectures of Nonnegative $k$-Sum and Hypergraph Matching
Hao Huang
University of California, Los Angeles; Member, School of Mathematics
October 9, 2012
Hole Probability for Entire Functions Represented by Gaussian Taylor Series
Alon Nishry
Tel Aviv University
October 9, 2012
Type Systems and Proof Assistant
Vladimir Voevodsky
Professor, School of Mathematics, IAS
October 10, 2012
How to Find Periodic Orbits and Exotic Symplectic Manifolds
Mark McLean
Massachusetts Institute of Technology; Member, School of Mathematics
October 15, 2012
A Multi-Prover Interactive proof for NEXP Sound Against Entangled Provers
Tsuyoshi Ito
NEC Laboratories America, Inc.
October 15, 2012