哲学、論理、計算、ソフトウエア科学基礎論、論理 の認知・神経科学に関わる つぎのようなインフォーマルな会合を予定していますので、ご案内させていただ きます。 慶應義塾大学哲学専 攻 岡田光弘
“Logical Inference and Proofs” Franco-Japanese Interdisciplinary Workshop Jan 12-13^th “論理推論と証明”学際ワークショップ （１ 月１２ 日―１３日）
(http://abelard.flet.keio.ac.jp/ilip2015/ )
論理推論と証明に関する, 論 理哲学、計算機科学、認知・神経科学などの学際 的研究集会を案内させていただきます。(With Logic, Philosophy, Computer Science, Neuroscience, cognitive Science) 参加自由です。
(慶応大三田キャンパス、 Mita Campus, KeioUniversity)
――――――――――――――――――――――――――――――――
日時：2015年1月1２日（月）13:00*〜18:00 / 1３日(火) 10:00*〜16:00
Date: January 12th (13:00-18:00) /13th (10:00-17:00), 201
東館6階G-Sec Lab ()
Place: G-Sec Lab, 6th Floor of East Research Building
Mita campus of Keio University. http://www.keio.ac.jp/en/maps/mita.html
(* 開始時間変更の可能性あり．プログラムは http://abelard.flet.keio.ac.jp/ilip2015/
でアップデートいたします。)
―――――――――――――――――――――――――――
（ゲスト講演者リストやプログラム, abstracts情 報はイベントページ
http://ctj.keio.ac.jp/news/14 に アップデートされます．）
参加方法：
参加費無料。会場準備のため氏名、所属を明記して
「Logical Inference集 会参加希望」と件名を記したメールを事務局
[email protected] 宛 に1/10 までにお送りください。
(※12日 セッション終了後のレセプションも参加自由です。)
主な講演者：
フランス側主な講演者
Pierre Wagner ( University of Paris I and Institute of History and Philosophy of Science)) 論理哲学
Jean-Baptiste Joinet（ University of Lyon III and Jean-Cavaiiles Institute, ENS-Paris ）論理哲学
Gilles Dowek (INRIA－Coq-Team Leader）タイプ理論・Coqシ ステム
Jérôme Prado（University of Lyon I―CNRS Language-Brain-Cognition Lab））推論の脳科学
Alberto Naibo (University of Paris I and Institute of History and Philosophy of Science) 証明と計算の論理
Discussantｓinclude
Philippe Codognet （CNRS-Tokyo Joint Lab Director, and University of Paris VI） 計算機科学
日本側講演者
Shigeru Watanabe (Psychology, Keio University) 比較認知神経科学
Kazushige Terui (Mathematical Science Institute, Kyoto University) 情報 論理学
Koji Mineshima (Center for Simulation Science, Ochanomizu University) タイプ理論的言語学
その他の日本側講演者は会合Web-siteでupdateします。
Tentative Program and tentative topics (See the conference website for further updated information.)
１月１２日（月）１２th Jan. (Mon)
１3；００PM
Session on Proofs and Computation
Baptiste-Joinet (Computatonal basis of semantics)
Kazushige Terui (TBA)
Pierre Wagner (Logical Pluralism)
Gilles Dowek (Proof, type and Computation)
Discussion (Discussion coordinator Phillipe Codognet
Discussant Mitsuhiro Okada and others. To be announced.
18:30PM Reception
１月１３日（火）13^th Jan. (Tue)
10:00AM
Session on Logic and Types
Alberto Naibo (Typed vs untyped proof theory)
Koji Mineshima (Type theory and natural language)
Discussion (Discussion coordinator, Mitsuhiro Okada)
Discussants to be announced.
12:30AM-14:00PM Lunch Break
14:00pm
Session on Logical Inference and Cognition
Shigeru Watanabe (Comparative Cognitive-Neuroscientific Study of logical inference)
Jerome Prado (Brain Imaging Study of Logical Inference)
Yuri Sato (Cognitive Scientific Study of Logical Inference)
Concluding Discussion (Discussion Coordinator Pierre Wagner)
Discussants to be announced.
17:30PM Closing
お問い合わせ先：
慶應義塾大学「思考と行動判断」の研究拠点事務局（担当：高橋・小室）
――――――――――――――――――――――――――
主催：慶應義塾大学 「思考と行動判断」 の 研究拠点
後援：慶應義塾大学 論理と感性のグローバル研究センター
後援：慶応義塾 「論理思考の次世代型研究と論理的思考力、発達支援への応用 研究」プロジェクト
後援： 新学術領域「予測と意思決定の論理と計算
----------------------------------------------
-
Mitsuhiro Okada