[logic-ml] Talk by Stefano Berardi at RIMS, Kyoto U. (2/2)

[Kazushige TERUI]

みなさま

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

照井
---
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
terui at kurims.kyoto-u.ac.jp
http://www.kurims.kyoto-u.ac.jp/~terui/