Talks
Spring 2021

Information Efficiency of Proof Systems

Thursday, Mar. 25, 2021 8:30 am9:30 am

Add to Calendar

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.