[logic-ml] Kobe Colloquium

[Makoto Kikuchi]

Kobe Colloquium on Logic, Statistics and Informatics

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

【１】
日時：2011年9月14日（水）14:00 ～ 15:00
場所：神戸大学自然科学総合研究棟3号館4階421室（渕野グループ内プレゼンテーション室）
講演者：西晃央（佐賀大学）
題目：Weyl の一様分布定理の対数計算への応用について

【２】
日時：2011年9月20日（水）15:20 ～ 16:20
場所：神戸大学自然科学総合研究棟3号館4階421室（渕野グループ内プレゼンテーション室）
講演者：Florian Pelupessy（Ghent 大学）
題目：Phase transitions for unprovability

アブストラクト：
The talk will be an introduction to phase transitions for unprovability:
theorems with a parameter function change from provable to unprovable with
a change in that parameter.
Additionally we will present a transitiona for a Ramsey-like statement and
for a theorem by Maclagan on monomial ideals.


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

連絡先：菊池誠　mkikuchi at kobe-u.ac.jp