Talks
Spring 2023
Frontiers of Proof Complexity Lower Bounds via Algebraic Complexity & Open Problems
Wednesday, March 22nd, 2023, 9:30 am–10:30 am
Speaker:
Iddo Tzameret (Imperial College London)
Location:
Calvin Lab Auditorium
No abstract available.
