Videos from Workshops

No Video yet.

Videos from Workshops Talks

Remote video URL

The Hitting Proof System

Visit talk page
Remote video URL

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

Visit talk page
Remote video URL

Weak Versions of Extended Resolution

Visit talk page
Remote video URL

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

Visit talk page
Remote video URL

Lower Bounds Against Non-Commutative Models of Algebraic Computation

Visit talk page
Remote video URL

On the Problems Related to Waring Rank and Border Waring Rank

Visit talk page
Remote video URL

Lower Bounds Against PC With Extension Variables

Visit talk page
Remote video URL

Towards P≠NP from Extended Frege Lower Bounds

Visit talk page
Remote video URL

On the Dominance-Based Strengthening Rule

Visit talk page
Remote video URL