“...International Symposium on the Theory of Machines and Computations Haifa, Israel...”