慶應義塾大学 文理融合型「論理学とフォーマルオントロジー」オープンリサーチセンター

最新情報

2011-02-10/11
「数学の哲学の現在」シンポジウム
2010-03-17/18
A Proof Theory Workshop (with Lecture Series by Grigori Mints)
2010-02-27/28
The 3rd Interdisciplinary Ontology Conference (InterOntology10 Tokyo)
2010-02-24
図的推論ワークショップ:認知科学・論理学・哲学の観点から(ポスター)
2009-03
The 2nd Interdisciplinary Ontology Conference (InterOntology09 Tokyo)
2009-03
Interdisciplinary Logic Meeting
2008-07-04/05
日仏共同哲学研究会「オントロジーと現象学」
2008-02-26/27
Interdisciplinary Ontology Conference (InterOntology08 Tokyo)
2008-02-12/13
論理学,計算機科学,数学史に関する学際集会