Old 641 Homepage
About Com S 641
Old 641 Syllabus
Old 641 Course Grading Policies
Old 641 Exams
Q & A
Old 641 Meeting outlines
Java Formal Methods
Iowa State U. Homepage
Computer Science 610 GL - Refinement Calculus Seminar
Questions and Answers
Often a student will ask a question that provokes an answer of use to other students. When this happens, in addition to answering the student directly, we will post the question and answer on the Q & A page. Urgent answers will also be sent to the course mailing list.
We will regularly send course-related email to your department Unix account. You are responsible for reading email on this account at least once per day during the week. If it is not convenient for you to read email on this account you are responsible for forwarding your email to a more convenient location.
Prompt, frequent and constructive feedback is essential to success in any endeavor. For this reason we strive to grade your work in a timely manner. We would also appreciate your feedback on the course. Please use send us email or come and talk to us to provide constructive criticism and offer suggestions (or dole out praise ).
Last modified Monday, August 26, 2002.
This web page is for the Spring 2002 offering of Com S 641 or the Fall 2002 offering of Com S 610 GL at Iowa State University. The details of this course are subject to change as experience dictates. You will be informed of any changes. Please direct any comments or questions to Gary T. Leavens at leavens@cs-DOT-iastate-DOT-edu.