This is the old web site of the Department of Computer Science