CS880 web site has moved to cs.unh.edu/~cs880