[logic-ml] Workshop on Linear Logic (abstracts available)

[Kazushige TERUI]

皆様

線型論理関連ワークショップ（１１月７日−１１日、京都大学）について、
アブストラクト入りのプログラムが出来上がりましたのでご案内をさせていただきます。

※１１月９日（水）の懇親会に参加希望の方は７日（月）までにお申し込みください。

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

Workshop on Linear Logic
(Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity)

* Date: 7th - 11th, November
  (11th reserved for free discussion)

* Location: Room 110, Faculty of Science Building No.3, Kyoto University
  http://www.kyoto-u.ac.jp/en/access/campus/north.htm
  京都大学理学部３号館１１０号室
  http://www.kyoto-u.ac.jp/ja/access/campus/map6r_n.htm
  ※数理解析研究所ではありませんのでご注意ください。

* Workshop Dinner
  18:30-, 9th November.
  Izakaya Anji Fuchomae (Annex)
  http://www.anji-gr.com/futyoumae/index.html
　Students 3,000yen, Others 5,000yen
  ※Please inform us by 7th Monday if you would like to participate.

* Organizers
Michele Basaldella: mbasalde at kurims.kyoto-u.ac.jp
Kazushige Terui: terui at kurims.kyoto-u.ac.jp
Claudia Faggian

* Program with abstracts
http://www.kurims.kyoto-u.ac.jp/~terui/wsprogram.pdf

-------------------------------------
Registration Form

1. Your name, affiliation, status
2. You participate in the workshop during ?th - ?th November.
3. You do/do not participate in the social dinnter on 9th.
　  (Inform us if you have any dietary option.)
--------------------------------------



------------------------------------------
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/