The web page is at: http://zoo.cs.yale.edu/classes/cs434-2012-fall