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