Author: International Andrei Ershov Memorial Conference (5th 2003 Akademgorodok, Novosibirsk, Russia)