International symposium "Mechanization of Thought Processes"