Talks
Spring 2021
Information Efficiency of Proof Systems
Thursday, Mar. 25, 2021 8:30 am – 9:30 am
Speaker:
Jan Krajicek (Charles University in Prague)
Location:
Zoom
I will introduce a new proof complexity measure - information efficiency - and discuss its relations to various proof complexity topics, including proof search and lengths-of-proofs lower bounds.
