The 6.031 web site is at http://web.mit.edu/6.031.