AL（Algorithm & Logic）セミナー

第 117回 ALセミナーのお知らせ


JAIST ではロジックを中心に情報科学の理論的な分野の話題をテーマに して
ALセミナーを開催しています。興味をおもちの方はどなたでもフラリと 気楽
におたちより下さい。

今回のセミナーは JAIST 情報科学研究科 COE Project: Verifiable and Evolvable
e-Society の一環として開催されます。

********************************************************************

日時： 　2007年9月14日（金）(14th September (Fri), 2007) 15:00 -- 16:30

場所： 情報科学研究科 III 棟 6 階 輪講室
School of Information Science, 3rd bldg. 6th floor, seminar room

-------------------------------------------------------

講演題目 (title)： Polynomial-size Frege proofs of Bollob\'as' theorem on the trace of sets

話題提供者 (speaker)： 新井敏康　Toshiyasu Arai (神戸大学）

Abstract : In this talk we show that Bollob\'as' theorem (i.e., the case $t=2$ of Frankl's
theorem) on the trace of sets has polynomial-size Frege proofs. This is a joint work with
A. Nozaki and N. H. Arai.


===========================================================
今回の世話人： 小野　寛晰
===========================================================

過去に開催された AL セミナーについては以下のホームページをご覧下さい。

　http://www.jaist.ac.jp/is/labs/ono-ishihara-lab/ono-lab/ALseminars/al-seminars.html

AL セミナーに関する一般的なお問い合わせは以下にどうぞ。

〒923-1292 石川県能美市 旭台 1-1　北陸先端科学技術大学院大学（JAIST）

東条 敏 (tojo@jaist.ac.jp)
小野 寛晰 (ono@jaist.ac.jp)