2007-09-26 2007-10-20(Sat): イベントカレンダー 渕一博記念コロキウム『論理と推論技術：四半世紀の展開』 （於・東京都／慶應義塾大学三田キャンパス） http://www.ueda.info.waseda.ac.jp/fuchi-colloquium/
