The site main page has been moved.
You will be redirected to
http://lpcs.math.msu.su/eng/