哲学、論理、計算、ソフトウエア科学基礎論、論理 の認知・神経科学に関わる つぎのようなインフォーマルな会合を予定していますので、ご案内させていただ きます。　慶應義塾大学哲学専 攻　岡田光弘

“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集 会参加希望」と件名を記したメールを事務局

logic@abelard.flet.keio.ac.jp 宛 に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

お問い合わせ先：

慶應義塾大学「思考と行動判断」の研究拠点事務局（担当：高橋・小室）

think-judge@abelard.flet.keio.ac.jp

――――――――――――――――――――――――――

主催：慶應義塾大学 「思考と行動判断」 の 研究拠点

後援：慶應義塾大学 論理と感性のグローバル研究センター

後援：慶応義塾　「論理思考の次世代型研究と論理的思考力、発達支援への応用 研究」プロジェクト

後援：　新学術領域「予測と意思決定の論理と計算

----------------------------------------------