Previous Conferences & Workshops

The logical questions concern algorithms for testing solvability of equations (and more generally truth of first-order sentences), and have positive answers for the real exponential and the Weierstrass functions (assuming respectively the Schanuel...

An important theme in arithmetic combinatorics, which is closely related to the ergodic-theoretic project of understanding characteristic factors, is higher-order Fourier analysis. It has been well known for a long time that various norms defined in...

Solving a system of linear equations is a fundamental algorithmic task arising in numerous applications. It is possible to tell in polynomial time, by Gaussian elimination, if a given system admits a solution, and if so to find one. But what if the...

Is it possible for two intelligent players to communicate meaningfully with each other, without any prior common background? What does it even mean for the two players to understand each other? In addition to being an intriguing question in its own...

Any proof of P!=NP will have to overcome two barriers: relativization and natural proofs. Yet over the last decade, we have seen circuit lower bounds (for example, that PP does not have linear-size circuits) that overcome both barriers...