“Lambek Calculus and Linear Logic” Meeting　（１月２５日、慶応大三田キャンパス）

国立情報学研究所教授金沢誠先生、ペンシルバニア大学数学科及び計算機科学科教授Andre Scedrov先生、

リヨン大学哲学科教授Jean-Baptiste Joinet先生先生をお招きして、Lambek Calculus 及びLogic & Computationに

関する次のようなミニ・シンポジウム形式集会を開催いたします。事前登録なし、参加自由です。

https://abelard.flet.keio.ac.jp/seminar/lambak_calculs.html

なお１月１９日（金）―２０日（土）”Philosophy of Logic & Mathematics” Workshopの確定プログラムを

https://abelard.flet.keio.ac.jp/seminar/frjp18jan.htmlに上げました。

日時・会場

日時:Jan. 25th, Thurs. 2018 / 2018年1月25日(木) 15:30 - 18:30

場所:8F, East Building, Mita Campus of Keio University / 慶應義塾大学三田キャンパス東館8階ホール

Building #3 on this map. / キャンパスマップ3番の建物です。

招待講演者 / Speakers

•Jean-Baptiste Joinet教授 (リヨン第3大学哲学科・パリ高等師範学校カバイエス研究センター)

•Makoto Kanazawa/金沢誠教授 (国立情報学研究所NII)

•Andre Scedrov教授 (ペンシルバニア大学数学科および計算機科学科）

プログラム（アブストラクトは、

https://abelard.flet.keio.ac.jp/seminar/lambak_calculs.html

を参照ください。）

•15:20 Registration

•15:30-16:30 Jean-Baptiste Joinet (リヨン第3大学哲学科・パリ高等師範学校カバイエス研究所)“Logic and Dialectical Time”

•16:30-17:30 Andre Scedrov (ペンシルバニア大学数学科および計算機科学科）“Lambek Calculus Extended with Bracket and Subexponential Modalities”

•17:30-18:30 Makoto Kanazawa (国立情報学研究所NII)“On the Recognizing Power of the Lambek Calculus with Brackets”

共催

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

同大学•次世代研究推進プロジェクト

•CNRS(フランス)

問い合わせ先：

東京都港区三田２－１５－４５

文学部岡田光弘研究室

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