Video Lectures

Constant-round interactive-proofs for delegating computations

February 01, 2016

Ron Rothblum

Interactive proofs have had a dramatic impact on Complexity Theory and Cryptography. In particular, the celebrated IP=PSPACE Theorem [LFKN92,Shamir92] allows an all-powerful but untrusted prover to convince a polynomial-time verifier of the validity...

video lecture

Geometry of complex surface singularities and 3-manifolds

January 26, 2016

Walter Neumann

I will talk about bilipschitz geometry of complex algebraic sets, focusing on the local geometry in dimension 2 (complex surface singularities), where the topological classification has long been understood in terms of 3-manifolds, while the...

video lecture

Affine Springer fibers and representation theory

January 25, 2016

Cheng-Chiang Tsai

video lecture

Go-Betweens for Hitler

January 22, 2016

Karina Urbach

Despite all the charms of Downton Abbey, real-life aristocrats played a much darker role in the 1930s. With the British empire under threat and Bolshevism on the rise, many decided to support authoritarian and fascist regimes. Aristocratic women in...

video lecture

From symplectic geometry to combinatorics and back

January 21, 2016

Dan Cristofaro-Gardiner

A much studied combinatorial object associated to a polytope is its "Ehrhart function". This is typically studied for integral or rational polytopes. The first part of the talk will be about joint work with Li and Stanley extending this theory to...

video lecture

A Harp, a Viola, and a Flute

January 20, 2016

Jack Stulz, Bridget Kibbey, Julietta Curenton and Sebastian Currier

Edward T. Cone Concert Series Post-Concert Discussion Friday, February 20, 2015 A Harp, a Viola, and a Flute Bridget Kibbey, Jack Stulz, Julietta Curenton With its unique instrumental combination and seductive sound, Debussy's Sonata for Flute...

video lecture

Low-dimensional dynamics and hyperbolic 3-manifolds

January 19, 2016

André de Carvalho

Thurston's hyperbolization of fibered 3-manifolds is based on his classification theorem for isotopy classes of surface homeomorphisms. This classification has also been extremely important to the study of dynamical systems on surfaces. The...

video lecture

Proof Complexity Lower Bounds from Algebraic Circuit Complexity

January 19, 2016

Michael Forbes

Proof complexity studies the complexity of mathematical proofs, with the aim of exhibiting (true) statements whose proofs are always necessarily long. One well-known proof system is Hilbert's Nullstellensatz, which shows that if the family $F=\{f_1...

video lecture

Anti-concentration: results and applications

January 12, 2016

Hoi Nguyen

I will survey some characterization results on random walks which stick to a small region unusually long. In application we give a description of unitary matrices of large permanent.

video lecture

Amsterdam/New Amsterdam

January 06, 2016

Ralph van Raat

Edward T. Cone Concert Series Ralph van Raat Amsterdam/New Amsterdam November 14, 2014 For decades now, there has been a close association between the preeminent Dutch composer Louis Andriessen and a significant group of American minimalist and...