10月中旬より京都大学客員教授としてJean-Yves Girard氏が 京都に滞在されます。またフランス・イタリアの線型論理 グループから若手研究者の訪問が予定されております。 それに伴いまして、下記の要領にて 線型論理ワークショップを開催したいと思います。 どうぞ参加・講演をご検討ください。
日時：2011年11月7日（月）−11日（金） （ただし11日は学生セッションの予定）
場所：京都大学理学部3号館110号室（予定）
内容：Girard氏による３〜４回の講義および 一般参加者の講演・ディスカッション
テーマ： ＊相互作用の幾何 ＊トレース付きモノイダル圏 ＊非明示的計算量理論 ＊その他線型論理および周辺の話題
フランス・イタリアからの参加者： Ugo Dal Lago (Bologne) Etienne Duchesne (Marseille) Claudia Faggian (Paris) Marco Gaboardi (Bologne) Jean-Yves Girard (Marseille) Damiano Mazza (Paris) Michele Pagani (Paris)、他
参加費：無料
旅費：若干の旅費援助が可能ですので、 学生の方の参加も歓迎します。
正式名称：RIMS共同研究集会「相互作用の幾何・トレース付き モノイダル圏・非明示的計算量」
参加ご希望の方は下記の情報を 照井[email protected] までお知らせください。
１．お名前・所属・身分 ２．参加日程：11月?日から〜11月?日まで ３．講演を希望する・しない ４．旅費補助を希望する・しない ※必ずしもご希望に添えない場合があることをご了承ください。
------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 [email protected] http://www.kurims.kyoto-u.ac.jp/~terui/