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

Sam Buss sbuss at ucsd.edu
Tue Mar 9 20:00:01 CET 2021

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"


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

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


More information about the Proof-Complexity mailing list