Spring 2006: http://www.eecs.berkeley.edu/~sseshia/219c/index.html course information: UCB On-Line Course Catalog and Schedule of Classes