CMSC 631, Fall 2010
Program Analysis and Understanding
Subject to change, especially until the start of the semester.
Grading and Expectations
The final course grade will be made up of the following components:
Written assignments are due at the beginning of class on the due date. Programming assignments (or assignments developed in Coq) are due at midnight on the due date. Neither written nor programming assignments may be turned in late. If you cannot make a due date because of extenuating circumstances, or because it conflicts with a religious holiday, please inform the instructor as soon as possible.
Your participation in the evaluation of courses through CourseEvalUM is a responsibility you hold as a student member of our academic community. Your feedback is confidential and important to the improvement of teaching and learning at the University as well as to the tenure and promotion process. CourseEvalUM will be open for you to complete your evaluations for fall semester courses between Tuesday, December 1 and Sunday, December 13. Please go directly to the website (www.courseevalum.umd.edu) to complete your evaluations starting December 1. By completing all of your evaluations each semester, you will have the privilege of accessing online, at Testudo, the evaluation reports for the thousands of courses for which 70% or more students submitted their evaluations.
If you are a teaching assistant, be sure to encourage your students to complete course evaluations at the same time you are completing your own.
Academic DishonestyThe college policy on academic dishonesty is strictly followed. All graded materials must be strictly individual efforts. Projects may include collaboration as permitted by the instructor.
Student presentations will be judged based on the following criteria: