HOME > ニュース > 2010 > A Proof Theory Workshop with Lecture Series by Grigori Mints(2010年3月17・18日(水・木)開催)について

A Proof Theory Workshop with Lecture Series by Grigori Mints(2010年3月17・18日(水・木)開催)について

Stanford 大学の Grigori Mints 氏を迎えて証明論ワークショップを開催いたします.
参加は自由(無料,登録不要)ですので,興味をお持ちの方はお気軽にご参加下さい.


日程: 2010年03月17-18日
場所: 慶應義塾大学 三田キャンパス 北館3階大会議室
主催: 慶應義塾大学 文理融合型「論理学とフォーマルオントロジー」オープンリサーチセンター
        慶應義塾大学 グローバルCOE 論理と感性の先端的教育拠点


詳細は以下ポスターよりご覧頂けます.
A Proof Theory Workshop (with Lecture Series by Grigori Mints)について

 なお、ワーククショップに関する最新情報は,下記ホームページ上でお知らせ致します.
http://abelard.flet.keio.ac.jp/ORC/