cs294-2 Software Synthesis (Spring 2006)

Feb 19: Remember to send your project proposals by Tuesday, Feb 21. Also, please remember to submit your paper summaries also to pl.newsdog.
Feb 6: Student presentations have been scheduled. Please let me know if you want to reschedule your presentation. Note that some presentations may need to be rescheduled due to guest lectures.
Feb 2: preliminary assignment of presentation topics
Jan 27:The paper for Tuesday has been assigned.
Jan 23: I am posting this too late for tomorrows paper, but here are directions on how to formulate your paper summaries. For future papers, submit your summaries by email by 7pm the evening before class.
Jan 19: Papers suggested by students have been posted. I believe I posted all submissions, although I still need to think whether all of them fit the topic of the course. I will let you know during the weekend.
Jan 17: Homework for Thu, Jan 19. See the penultimate slide in the Intro lecture.
Jan 17: Welcome to cs294.