[logic-ml] Kobe Colloquium on Logic, Statistics and Informatics, May 10 (Andre Nies)

[Joerg Brendle]

Kobe Colloquium on Logic, Statistics and Informatics

以下の要領でコロキウムを開催します。

日時：2013年5月10日（金）10:40-12:10
講演者：Andre Nies (University of Auckland, New Zealand)
場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）

========================================================================

題目：The complexity of similarity relations among Polish metric spaces

アブストラクト：We calibrate the complexity of similarity relations  between
Polish metric spaces. First we discuss the classical case, based on
concepts of Gromov. Thereafter we consider computable Polish metric
spaces. For instance, Melnikov and I give the exact complexity of
isometry between compact computable spaces, and show that isometric
spaces of this kind have a Delta 3 isometry.


========================================================================

交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」
行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ．
http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm

連絡先：ブレンドレ ヨーグ  brendle at kurt.scitec.kobe-u.ac.jp
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20130426/693b6817/attachment.html>