By Thursday, October 16, a short description of your project (no more than 1 page) is due. The content of your proposal depends on which project option you have chosen, as follows:
- For programs implementing a theorem prover or model checker, please state which logic you are implementing or which model checking algorithm you are implementing.
- For papers on research articles, please list the articles you will read and report on. Include full bibliography entries (e.g., title, author, journal issue, publisher, date).