Talks
Spring 2021

Information Efficiency of Proof Systems
Thursday, Mar. 25, 2021 8:30 am – 9:30 am PDT
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.