Theory Seminar@Tokyo June 6, 2019　Speakers：Benjamin Rossman，Rahul Santhanam

Date：June 6, 2019 10:30 – 12:00

Speaker：Benjamin Rossman

Title：Criticality and decision-tree size of AC^0 functions

Speaker：Rahul Santhanam

Title：Why are Proof Complexity Lower Bounds Hard?

Details: https://sites.google.com/view/tcs-tokyo/home