セミナー情報

今週のセミナー　　2011年　12月26日（月）～12月30日（金）

12月26日(月)	■整数論セミナー　13:30--15:00【会場：合同棟801】休み ■ロジックセミナー　16:00-- 【会場：合同棟1201】＊通常と曜日が異なります！講演者：新井　敏康氏　(千葉大学大学院理学研究科) 題目：Searching witnesses of $\Sigma^{0}_{2}$-formulas in proofs