[Proof Complexity] J. Krajicek and S. de Rezende talks - 50 Years of SAT workshop

[Sam Buss]

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

*** Jan Krajicek,  "Information efficiency of proof systems"

and

*** Susanna de Rezende, "Proofs and circuits: Connections via interpolation
and lifting"

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