COMP 527: Logic and Computation
Home : Course Information : Schedule : Assignments : Handouts : Resources

Assignments -- Winter 2009


You should suggest a project based on papers and ideas listed on WebCT, but you are welcome to suggest your own. A project usually provides some implementation for a technique described in a paper, or a formalization of a paper in a proof assistant. The total length of the project is 5 weeks, and three people should form one team.

The project has four main 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.