Panel Discussion on The Role of Proofs in MIP* = RE | Quantum Colloquium

Panel Discussion on The Role of Proofs in MIP* = RE | Quantum Colloquium

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


Category:
Discussion
Duration: 44:53
553 views
9

Marius Junge (UIUC), William Slofstra (Univ of Waterloo), Umesh Vazirani (UC Berkeley; moderator)
Quantum Colloquium, May 4th, 2021
https://simons.berkeley.edu/events/quantum-colloquium



Other Videos By Simons Institute for the Theory of Computing


2021-05-12Quantum Algorithms for Optimization | Quantum Colloquium
2021-05-11The Multilinear Polytope for Acyclic Hypergraphs
2021-05-10Panel Discussion on Challenges and Opportunities in Synthesis
2021-05-07Formal Languages and Automata for Reward Function Specification and Efficient Reinforcement Learning
2021-05-07Avenir: Managing Data Plane Diversity via Control Plane Synthesis
2021-05-06Cooperative Competition: A New Way of Solving SAT and other NP-Hard Problems in AI and Beyond
2021-05-06Using Program Synthesis to Build Compilers
2021-05-05Preprocessing SAT, MaxSAT, and QBF 3
2021-05-05Preprocessing SAT, MaxSAT, and QBF 2
2021-05-05Preprocessing SAT, MaxSAT, and QBF 1
2021-05-05Panel Discussion on The Role of Proofs in MIP* = RE | Quantum Colloquium
2021-05-05The Role of Proofs in MIP* = RE | Quantum Colloquium
2021-05-04Towards ML for Quantification in SMT
2021-05-03Data-Driven Synthesis of a Provably Sound Side-Channel Analysis
2021-05-03Synthesizing Network Configuration Updates
2021-04-30Computational Aspects of Equilibria and Fixed Points
2021-04-30Data Privacy | Polylogues
2021-04-29Symmetric Properties and Boolean Complexity
2021-04-29Constraint Satisfaction and Expansion
2021-04-29Theoretically Speaking — Market Design through the Lens of Approximation
2021-04-28Learning to Solve SMT Formulas


Tags:
Simons Institute
theoretical computer science
UC Berkeley
Computer Science
Theory of Computation
Theory of Computing
Quantum Colloquium
Marius Junge
William Slofstra
Umesh Vazirani