Previous Conferences & Workshops

In this seminar I will discuss the details of the result that knottedness is in NP assuming the generalized Riemann hypothesis. The main part of the work is to properly understand Koiran's construction that solvability of a system of algebraic...

This talk will be a partial survey of the first questions in the complexity theory of geometric topology problems. What is the complexity, or what are known complexity bounds, for distinguishing n-manifolds for various n? For distinguishing knots...

Coorganized by

Steve Awodey (IAS/CMU),
Thierry Coquand (IAS/University of Gothenburg) and
Vladimir Voevodsky (IAS).

10 Year Impact Statement

For GL(2) over Q_p, the p-adic Langlands correspondence is available in its full glory, and has had astounding applications to Fontaine-Mazur, for instance. In higher rank, not much is known. Breuil and Schneider put forward a conjecture, which is a...