[logic-ml] J.-Y. Girard氏来日に伴う線型論理ワークショップ

[Kazushige TERUI]

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共同研究集会「相互作用の幾何・トレース付き
モノイダル圏・非明示的計算量」

参加ご希望の方は下記の情報を
照井terui at kurims.kyoto-u.ac.jp
までお知らせください。

１．お名前・所属・身分
２．参加日程：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
terui at kurims.kyoto-u.ac.jp
http://www.kurims.kyoto-u.ac.jp/~terui/