[logic-ml] “Lambek Calculus and Linear Logic” Meeting （１月２５日、慶応大三田キャンパス）のお知らせ

[Mitsu Okada]

“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(フランス)

問い合わせ先：

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

文学部岡田光弘研究室

logic at abelard.flet.keio.ac.jp

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20180117/b31513f3/attachment-0001.html>