Fall 2013 course for CS 6.858 course in MIT