直前のお知らせとなり申し訳ありません。ご参加のご検討をお願い申し上げます。。

この告知は転送自由です。　岡田光弘　（慶應義塾大学）
----------------------------------------

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番の建物: https://www.keio.ac.jp/ja/maps/mita.html
Campus Map Building #13: https://www.keio.ac.jp/ja/maps/mita.html

Zoom: https://forms.gle/BBxrLDg3Pf5747sh9
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
岡田光弘　峯島宏次
（慶應義塾大学論理と感性のグローバル研究センター 論理班)