Seminars

The Theoretical Computer Science and Discrete Mathematics Seminars will take place every Monday at 10:30 a.m. - 11:30 a.m. and every Tuesday at 10:30 a.m. - 12:30 p.m. at the Institute for Advanced Study. The lectures will be held in S-101, the seminar room in Simonyi Hall, unless stated otherwise.

If you are interested in attending future seminars and are not already on our mailing list from previous years, please send an e-mail to Andrea Lass and ask to be added.

alass email

 

Upcoming Seminar Titles Include:

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...

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...