(English version below)
10月中旬より京都大学客員教授としてJean-Yves Girard氏が 京都に滞在されます。またフランス・イタリアの線型論理 グループから若手研究者・学生の訪問が予定されております。 それに伴いまして、下記の要領にて 線型論理ワークショップを開催したいと思います。 どうぞ参加・講演をご検討いただければと思います。
* 旅費援助を希望の方は10月3日（月）まで 講演希望の方は10月17日（月）までに下記のフォームを お送りください。
日時：2011年11月7日（月）−11日（金） （ただし11日はディスカッション・学生セッションの予定）
場所：京都大学理学部3号館110号室
内容：Girard氏による4回の講義および 一般参加者の講演・ディスカッション
テーマ： ＊相互作用の幾何 ＊トレース付きモノイダル圏 ＊陰計算量理論 ＊その他線型論理および周辺の話題
フランス・イタリアからの参加者： Ugo Dal Lago (Bologne) Etienne Duchesne (Marseille) Claudia Faggian (Paris) Marco Gaboardi (Bologne) Jean-Yves Girard (Marseille) Stefano Guerrini (Paris) Damiano Mazza (Paris) Michele Pagani (Paris)、他
参加費：無料
旅費：若干の旅費援助が可能です。ご相談ください。 ※必ずしもご希望に添えない場合があることをご了承ください。
名称：RIMS共同研究集会「相互作用の幾何・トレース付き モノイダル圏・非明示的計算量」
参加ご希望の方は下記のフォームを [email protected] までお送りください。
------------------------------------- １．お名前・所属・身分 ２．参加日程：11月?日から〜11月?日まで ３．講演を希望する・しない 講演希望の場合、時間（30分・45分） ４．旅費補助を希望する・しない 旅費希望の場合、滞在日程 --------------------------------------
Workshop on Linear Logic
On occasion of Dr. Jean-Yves Girard's visit to Kyoto (as well as other researchers from Europe), we plan to organize an informal workshop on linear logic (including 4 lectures by J.-Y. Girard) in the coming November. Your participation and talk contribution would be welcome.
Dates: 7th - 11th November, 2011 (11th is reserved for free discussion and student session)
Location: Department of Mathematics, Kyoto University
Topics: Geometroy of interaction, traced monoidal categories, implicit computational complexity and any other topics related to linear logic and associated fields.
Participants from Europe: Ugo Dal Lago (Bologne) Etienne Duchesne (Marseille) Claudia Faggian (Paris) Marco Gaboardi (Bologne) Jean-Yves Girard (Marseille) Stefano Guerrini (Paris) Damiano Mazza (Paris) Michele Pagani (Paris), and others.
* Some limited amount of travel support is available.
If you want to participate in the workshop, please send the form below to [email protected] by: 3rd October (if you wish financial support) 17th October (if you contribute a talk).
----- Registration form
1. Name, Affiliation, Position 2. Period of your participation: ?th - ?th November 3. Do you want to give a talk? If so, how long (30min or 45min)? 4. Do you wish financial support for your travel? If so, tell us your arrival and departure dates.
------------------------------------------ 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/