Prof. Bakhadyr Khoussainov’s Talk at UPM

16May11

This is another announcement post:

The Laboratory of Computational Sciences & Mathematical Physics, Institute for Mathematical Research, Universiti Putra Malaysia will be organizing a Public Seminar on “A Journey From Computable to Automatic Structures” by Prof. Bakhadyr M. Khoussainov (Univ. of Auckland, New Zealand) on May 19, 2011 at 10.30 am in the Meeting Room of the Mathematics Department. This will be followed by an unoffcial meeting cum discussion between Prof. Khoussainov and laboratory members as well as interested researchers in the afternoon at 2.30pm.

Abstract for his talk:

In this talk, we introduce two classes of structures: computable structures and automatic structures. The goal is to move from computable to automatic structures with an eye towards decidability. We present several examples, theorems and discuss their motivations, proof and importance.