CMPE 542 Automated Theorem Proving Web Site



ANNOUNCEMENTS:

  • Letter grades have been announced (20.6.2003).
  • Final and project grades have been announced (10.6.2003).
  • Final and answers have been announced. (10.6.2003)
  • On 28.5.2003 course evaluation forms will be filled in.
  • Due to lack of time, the "application project" is cancelled. Instead, an additional requirement for the research project is given: Read at least two seminar or journal papers related to the ATP you choose (if no such papers exist, consider papers related to ATPs in general) and include a summary of these papers in the report and in the presentation. Give me a hard-copy of the papers at the time of report submission.
  • Research project assignments (Last update: 30.4.2003).
  • Research project has been announced (21.4.2003).
  • Grades
  • Midterm and answers have been announced.
  • Midterm will be on 16.4.2003 wednesday during lecture hours.
  • Course syllabus is available here.
  • You can subscribe to the mailing list.

    •