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

ジャンイヴ・ジラール教授公開連続講義（１１月１０日より）のお知らせ

Jean-Yves GIRARD open lectures (Nov. 10^th, 17^th, 24^th,) (三田ロジックセミナー)

***Apologies for multiple copies due to cross-posting***

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

慶應義塾大学に滞在されているジャンイヴ　ジラール教授に、インフォーマルな連続講義をお願いしていますの で、ご案内させていただきます。Transcendental Syntaxをテーマとした連続講義です。(同 一タイトルの近刊書籍の中核的部分を解説していただきます。)　Proof-Normalization, 線 形論理、Proofnests, Geometry of Interaction、ludicsなどのこれまでのご研究を基にした,　 証明論、証明論の哲学についての彼の新しい研究パラダイムをご紹介いただきます。（初回は、証明論の初歩以外の専門的知識なしで聴講でき るIntroductionから始めていただきます。）

In this series of lectures Prof. Jean-Yves Girard is giving his new research paradigm  “Transcendental Syntax”, which is based on his past researches (such as proof normalization, linear logic, proofnets, geometry of interaction, Ludics and others)　No particular background knowledge is required except for  elementary proof theoretic ideas..

講師　Jean-Yves Girard (Ｍathematics Institute, Univ de Marseille/CNRS, 現 在慶應義塾大学にDistinguished Guest Professor (Global)と して滞在中)

Ist lecture １１ 月１０日１８：００－１９：３０（Nov,10^th 18:00-19:30）

2^nd lecture １１ 月１７日１８：００－１９：３０（Nov,17th 18:00-19:30）

3^rd Lecture １１ 月２４日１８：００－１９：３０（Nov,24th 18:00-19:30）
会 場 慶 應義塾大学三田キャンパス大学院棟１階３１３号

Graduate School Building the ground floor, room 313.

なお、これとは別に、１１月２８日―２９日に証明論、証明論の哲学、計算機科学についての国際ワークショップ を予定しております。詳細が決まりましたらお知らせいたします。

JR-田町駅、地下鉄三田駅、地下鉄 赤羽橋駅から徒歩約7分

7 minutes along distance from JR-Tamachi, Subway-Mita, Subway-Akabanebashi

See campus-map below/

 http://www.keio.ac.jp/en/maps/mita.html 

大学院棟は８番の建物です。Graduate School Building is #8 on this map.

この会合案内は転送自由です。

―――――――――――――――――――――――――――――――――

お問い合わせ先：

慶應義塾大学文学部哲学専攻 岡田光弘研究室 三田ロジックセミナー講演会事 務局