Events and Activities

Explore current and upcoming events and activities happening at the Institute for Advanced Study.

Apr
08
2025

Computer Science/Discrete Mathematics Seminar II

Cosystolic Expansion
10:30am|Simonyi 101 and Remote Access

High dimensional expansion comes in two flavors: spectral, which relates to random walks;  and cosystolic, which relates to chains of linear maps. The later is a more mysterious notion, which turns out related to a variety of applications such as...

Apr
21
2025

Computer Science/Discrete Mathematics Seminar I

Language Generation in the Limit
Jon Kleinberg
10:30am|Simonyi Hall 101 and Remote Access

Although current large language models are complex, the most basic specifications of the underlying language generation problem itself are simple to state: given a finite set of training samples from an unknown language, produce valid new strings...

May
05
2025

Computer Science/Discrete Mathematics Seminar I

Coboundary Expansion Inside Chevalley High-Dimensional Expanders
Ryan O'Donnell
10:30am|Simonyi Hall 101 and Remote Access

In theoretical computer science, an increasingly important role is being played by sparse high-dimensional expanders (HDXs), of which we know two main constructions: "building" HDXs [Ballantine'00, ...] and "coset complex" HDXs [Kaufman--Oppenheim...

May
27
2025

Computer Science/Discrete Mathematics Seminar II

Why Extension-Based Proofs Fail
Faith Ellen
10:30am|Simonyi Hall 101 and Remote Access

A valency argument is an elegant and well-known technique for proving impossibility results in distributed computing. It is an example of an extension-based proof, which is modelled as an interaction between a prover and a protocol. Even though...