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