第一回計算量理論若手の会ワークショッププログラム


4月29日

12:00 - 13:00昼食(12時に工学部10号館前集合)
13:00 - 14:00玉置 卓(SAT and/or property testing)
14:00 - 15:00上野 賢哉(Karchmer-Wigderson game)
15:00 - 17:00ディスカッション
17:00 - 18:00森住 大樹(circuit complexity)
18:00 - 19:00ディスカッション
19:00 - 20:00懇親会



4月30日

11:00 - 12:00河内 亮周(derandomization and circuit lower bound)
12:00 - 14:00昼食&ディスカッション
14:00 - 15:00内沢 啓(Energy of threshold circuit)
15:00 - 16:00安永 憲司(list decoding)
16:00 - 17:00ディスカッション