## On the Setoid Model of Type Theory

Erik Palmgren

University of Stockholm

October 18, 2012

Erik Palmgren

University of Stockholm

October 18, 2012

Joel Bellaiche

Brandeis University

October 18, 2012

Andrew Drucker

Massachusetts Institute of Technology; Member, School of Mathematics

October 16, 2012

Tsuyoshi Ito

NEC Laboratories America, Inc.

October 15, 2012

Vladimir Voevodsky

Professor, School of Mathematics, IAS

October 10, 2012

Hao Huang

University of California, Los Angeles; Member, School of Mathematics

October 9, 2012

Alon Nishry

Tel Aviv University

October 9, 2012

Amir Shpilka

Technion

October 8, 2012

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

Xin Wan

Princeton University; Member, School of Mathematics

October 4, 2012