View Detailed Profile
Proof Complexity and Meta-Complexity Tutorial (1)

Proof Complexity and Meta-Complexity Tutorial (1)

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

Proof complexity as a computational lens lecture 1: Introduction

Proof complexity as a computational lens lecture 1: Introduction

Thursday Oct 30, 2025

Proof Complexity and TFNP

Proof Complexity and TFNP

Robert Robere (McGill University) https://simons.berkeley.edu/talks/

Proof and Circuit Complexity - Robert Robere

Proof and Circuit Complexity - Robert Robere

Short talks by postdoctoral members Topic:

Proof Complexity and Meta-Complexity Tutorial (2)

Proof Complexity and Meta-Complexity Tutorial (2)

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

Proof Complexity D

Proof Complexity D

Sam Buss (UC San Diego) https://simons.berkeley.edu/talks/

Proof Complexity C

Proof Complexity C

Sam Buss (UC San Diego) https://simons.berkeley.edu/talks/

Natural Proofs in Algebraic Circuit Complexity

Natural Proofs in Algebraic Circuit Complexity

... of Haifa) https://simons.berkeley.edu/talks/anamay-tengse-university-haifa-2023-03-22

Proof complexity - an introduction - Avi Wigderson

Proof complexity - an introduction - Avi Wigderson

Computer

Proof Complexity A

Proof Complexity A

Sam Buss (UC San Diego) https://simons.berkeley.edu/talks/

Proof Complexity meets Finite Model Theory

Proof Complexity meets Finite Model Theory

Joanna Ochremiak (CNRS) https://simons.berkeley.edu/talks/

Proof Complexity

Proof Complexity

Sam Buss (UC San Diego) https://simons.berkeley.edu/talks/

Proofs, Circuits, Communication, and Lower Bounds in Complexity Theory - Robert Robere

Proofs, Circuits, Communication, and Lower Bounds in Complexity Theory - Robert Robere

Computer