[logic-ml] Workshop on linear logic

[Kazushige TERUI]

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

参加ご希望の方は下記のフォームを
terui at kurims.kyoto-u.ac.jp
までお送りください。

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