COMP 426: Automated Reasoning
Home : Course Information : Schedule : Assignments : Handouts : Resources

Assignments -- Fall 2007

Homeworks and Solutions

Projects

You should suggest a project based on some ideas handed out in class by Nov 2. You are required to meet with me and discuss your project two-times during the semester, once before the project proposal is due and once before the presentation.

The project consists of three parts:

What does it mean to give a good talk? What does it mean to write a good paper?

Here is some advice other computer scientists have given.

More advice on how to write a paper, present a talk, get into graduate school, etc. can be found here.