Kow Colloquium on Logic, Statistics and Informatics ===================================================

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

日時：2015年7月28日（火）13:30 -- 15:00 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） 講演者： Johann Makowsky (https://en.wikipedia.org/wiki/Johann_Makowsky)

======================================================================== 題目： Is P=NP over fields and rings? ======================================================================== アブストラクト： We discuss the complexity classes P and NP for algebraic computation (Blum-Shub-Smale model of computation) over fields and rings. We present Poizat' Theorem relating P=NP to quantifier elimination. We discuss the current state of affairs and relate it to descriptive complexity theory in the Turing model. ========================================================================

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

連絡先：渕野 昌 [email protected]