[logic-ml] Kobe Colloquium (July 28, 2015, J. Makowsky)

[Sakae Fuchino]

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

連絡先：渕野 昌 fuchino at diamond.kobe-u.ac.jp