We will assign 5 homeworks throughout the quarter and a paper at the end for those taking the class for credit, or possibly a take-home final for those who dislike papers. There is no printed course reader, all relevant papers are available on the web. I have prepared an outline of what will be covered. The course will be more formal than previous years, with more definitions, theorems and proofs. PVS an automated theorem prover will be used.
Documentation is available locally.