Videos from Workshops

No Video yet.

Videos from Workshops Talks

The Hitting Proof System

Visit talk page

Frontiers of Proof Complexity Lower Bounds via Algebraic Complexity & Open Problems

Visit talk page

Weak Versions of Extended Resolution

Visit talk page

Consistency of NEXP Not in P/poly in a Strong Theory

Visit talk page

Lower Bounds Against Non-Commutative Models of Algebraic Computation

Visit talk page

On the Problems Related to Waring Rank and Border Waring Rank

Visit talk page

Lower Bounds Against PC With Extension Variables

Visit talk page

Towards P≠NP from Extended Frege Lower Bounds

Visit talk page

On the Dominance-Based Strengthening Rule

Visit talk page

TFNP

Visit talk page