みなさま

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

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

===== Speaker: Stefano Berardi (University of Torino)

Title: A Topology over a set of Knowledge States and a Fixed Point Problem

Date: 11.00 -, February 2nd (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: We give an abstract formulation of the termination problem for realizer of Heyting Arithmetic plus various subsystem of classical logic. This termination problem is expressed as the existence of a fixed point for a class of continuous maps in a suitable topology.

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