Proof Complexity and Meta-Complexity Tutorial (2)

Channel:
United States Simons Institute for the Theory of Computing
Subscribers:
68,700
Published on ● Video Link: https://www.youtube.com/watch?v=-9hwU1HtfHM


Duration: 56:20
342 views
7

Toniann Pitassi (University of Toronto)
https://simons.berkeley.edu/talks/tbd-37
Meta-Complexity Boot Camp



Other Videos By Simons Institute for the Theory of Computing


2023-01-28Is Cryptography Feasible if P=NP?
2023-01-28Proof Complexity and TFNP
2023-01-28Learning versus Proofs of Complexity Lower Boundes
2023-01-27Understanding the Role of Derandomization in TCS
2023-01-27New Forms of Hardness versus Randomness
2023-01-27Quantum for Science
2023-01-27Adversarial Laws of Large Numbers and Optimal Regret in Online Classification
2023-01-27The Power of Randomness in Kolmogorov Complexity
2023-01-21Automatability: The Proof Search Problem
2023-01-21Proofs, Circuits and Total Search Problems
2023-01-21Proof Complexity and Meta-Complexity Tutorial (2)
2023-01-20Proof Complexity and Meta-Complexity Tutorial (1)
2023-01-20Minimal Complexity Assumptions for Cryptography (Part II)
2023-01-20Minimal Complexity Assumptions for Cryptography (Part I)
2023-01-20Cryptography and Kolmogorov Complexity (Part II)
2023-01-19Cryptography and Kolmogorov Complexity (Part I)
2023-01-19The Quest for Hardness of Metacomplexity: Progress, Barriers, and Next Steps (Part II)
2023-01-19The Quest for Hardness of Metacomplexity: Progress, Barriers, and Next Steps (Part I)
2023-01-19Probabilistic Kolmogorov Complexity
2023-01-18Kolmogorov Complexity for Meta-Complexity for Theoreticians
2023-01-18The Power of Distinguishing Simple From Random (Part II)


Tags:
Simons Institute
theoretical computer science
UC Berkeley
Computer Science
Theory of Computation
Theory of Computing
Meta-Complexity Boot Camp
Toniann Pitassi