На симпозиуме Москва-Вена в МИАН, 2004 год.
At Moscow-Vienna workshop on Logic and Computation at Steklov Institute, 2004.