みなさま

今週木曜日に催されるセミナーのご案内をさせていただきます。 どうぞお気軽にお越しください。

照井 --- RIMS-CS website http://www.kurims.kyoto-u.ac.jp/~cs/

===== Speaker: Jean-Yves Girard (IML Marseille & RIMS Kyoto)

Title: A SECOND LOOK AT PROOF-NETS

Date: 11.00 -, January 12th (Thu)

Place: Room 478, "Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan)" http://www.kyoto-u.ac.jp/en/access/campus/main.htm (Next to our CS Lab) 総合研究2号館 478号室 (CS室のとなりです) http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm

Abstract: In logic, we have a reasonable answer to the question :

"What is a typable object?"

but none so far to the question :

"What is a typed object?"

By a second look at proof-nets, especially the ones involving quantifiers, we shall propose an answer to the second question.

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