My homepage has changed:

www.fi.muni.cz/~blumens/