“Logical Inference and
Proofs” Franco-Japanese Interdisciplinary Workshop Jan 12-13th “論理推論と証明”学際ワークショップ （１
月１２日―１３日）
(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
１月１３日（火） 13th
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)
Concluding Discussion
(Discussion
Coordinator Pierre Wagner)
Discussants to be announced.
17:30PM Closing
お問い合わせ先：
慶應義塾大学「思考と行動判断」の研究拠点事務局（担当：高橋・小室）
――――――――――――――――――――――――――
主催：慶應義塾大学 「思考と行動判断」 の
研究拠点
後援：慶應義塾大学 論理と感性のグローバル研究センター
後援：慶応義塾 「論理思考の次世代型研究と論理的思考力、発達支援への応用研究」プロジェクト
後援： 新学術領域「予測と意思決定の論理と計算
----------------------------------------------