[Proof Complexity] Simons 50 Years of SAT: Richard Karp and Avi Wigderson talks

[Sam Buss]

The Simons Institute 50 Years of Satisfiability talks this week are on
Thursday, March 11, 8:30am-10:30am Pacific Time. Speakers are:

*** Richard Karp, "The Dawn of Computational Complexity Theory"

and

*** Avi Wigderson, "Are we aging well?"

URL: https://zoom.us/j/97023701859

=================================================