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).


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