【Theory Seminar】6/6(木)開催　講演者：Benjamin Rossman，Rahul Santhanam

日　　時：2019年6月6日(木) 10:30 – 12:00

講 演 者：Benjamin Rossman

タイトル：Criticality and decision-tree size of AC^0 functions

講 演 者：Rahul Santhanam

タイトル：Why are Proof Complexity Lower Bounds Hard?

詳　　細：https://sites.google.com/view/tcs-tokyo/home