皆様
線型論理関連ワークショップ（１１月７日−１１日、京都大学）について、 アブストラクト入りのプログラムが出来上がりましたのでご案内をさせていただきます。
※１１月９日（水）の懇親会に参加希望の方は７日（月）までにお申し込みください。
--------------------
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: [email protected] Kazushige Terui: [email protected] 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 [email protected] http://www.kurims.kyoto-u.ac.jp/~terui/
-
Kazushige TERUI