Events and Activities

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

May
SMTWTFS
27282930123456789101112131415161718192021222324252627282930311234567
Schools
Categories
Other
Clear Filters

Contact Us

To contact the events office, please call (609) 951-4595 or email events@ias.edu

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