Theory Seminar

Computationally Sound Proofs of Network Properties

Time and Location:

May 02, 2024 at 11AM; Warren Weaver Hall, Room 317

Speaker:

Rotem Oshman, Tel-Aviv University, Princeton