The IGOR group's new URL is: http://www.cc.gatech.edu/faculty/ashwin/igor/