J-Y, Girard博士講演・討論会

Prof. Jean-Yves Girard's Lecture and discussion


2023年5月29日（月）18:00-19:30　(Monday May 29th)

(ハイブリッド開催 / Hybrid)


会場/Place

慶應義塾大学三田キャンパス東館6階G-Lab /
G-Lab, 6th floor, East Building, Mita Campus, Keio University
(7 minutes walk from JR-Tamachi, Subway Mita or Akabanebashi)

キャンパスマップ 13番の建物: 三田キャンパス：アクセス：[慶應義塾] (keio.ac.jp)
Campus Map Building #13: https://www.keio.ac.jp/ja/maps/mita.html

Zoom: Prerigistration Here / ここから事前登録をお願いします。

最新情報は次のURLで更新します / The Meeting webpage: https://abelard.flet.keio.ac.jp/seminar/j_y_girard_lecture_and_discussion_2023/

Preregistration Form: https://forms.gle/BBxrLDg3Pf5747sh9


PROGRAM
18:00-19:00
Speaker: Prof. Jean-Yves Girard
Title: AGAINST SYSTEMS
19:00-19:30
Discussion
講師プロフィール:
Jean-Yves Girard博士は1972年、System F のhigher order normalizationに関する学位論文発表以来、一貫して基本定理（Cut elimination theorem）の多角的・発展的な研究を進めておられる研究者として知られています。(Linear Logic, Geometry of Interaction, Ludics, 近年のTranscendental Syntaxに関する一連の研究などもこれに含まれます。)
今回の講演でもこのlineの延長上の最新成果を講義していただきます。
問い合わせ先:
logic@abelatd.flet.keio.ac.jp
岡田光弘　峯島宏次
（慶應義塾大学論理と感性のグローバル研究センター 論理班)