The Proteus Project home page has been moved to
http://cs.nyu.edu/cs/projects/proteus