## A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers

This talk is designed for a general mathematical audience; no prior knowledge of type theory is presumed.

Daniel Licata

Carnegie Mellon University; Member, School of Mathematics

November 26, 2012

This talk is designed for a general mathematical audience; no prior knowledge of type theory is presumed.

Steve Awodey

Carnegie Mellon University; Member, School of Mathematics

November 19, 2012

Elliot Lieb

Princeton University

November 12, 2012

Daniel Grayson

University of Illinois at Urbana-Champaign; Member, School of Mathematics

October 22, 2012

Mark McLean

Massachusetts Institute of Technology; Member, School of Mathematics

October 15, 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).

Andras Stipsicz

Renyi Institute of Mathematics, Hungarian Academy of Sciences

April 9, 2012

Heegaard Floer homology groups were recently introduced by Ozsvath and Szabo to study properties of 3-manifolds and knots in them. The definition of the invariants rests on delicate holomorphic geometry, making the actual computations cumbersome. In the lecture we will recall the basic definitions and theorems of the theory, and show how to define the simplest version in a purely combinatorial manner. For a special class of 3-manifolds the more general version will be presented by simple combinatorial ideas through lattice homology of Nemethi.

Andras Stipsicz

Renyi Institute of Mathematics, Hungarian Academy of Sciences

April 9, 2012

Anthony Licata

Institute for Advanced Study; Member, School of Mathematics

April 2, 2012

Ankur Moitra

Institute for Advanced Study

March 19, 2012

My goal in this talk is to survey some of the emerging applications of polynomial methods in both learning and in statistics. I will give two examples from my own work in which the solution to well-studied problems in learning and statistics can be best understood through the language of algebraic geometry.