The homepage was moved to http://ktiml.mff.cuni.cz/~surynek.