Com S 641/Refinement Calculus Seminar

General Info.
Seminar Homepage
Seminar Syllabus
Homework Directory

Old 641 Homepage
About Com S 641
Contacting Us
Old 641 Syllabus
Old 641 Course Grading Policies
Old 641 Exams

Q & A
Old 641 Meeting outlines

Refinement Calculus
Java Formal Methods
Department Homepage
Iowa State U. Homepage

Valid HTML 4.0!
Valid CSS!

Computer Science 610 GL - Refinement Calculus Seminar

This is the home page for Com S 610 GL at Iowa State University, as taught in Fall 2002 by Gary T. Leavens.

Date News Item
new news item 8/26/2002 This seminar will meet Fridays at 1:10pm in 214 Atanasoff Hall. See you there.
new news item 8/22/2002 This seminar will pick up from the material taught in Com S 641 last Spring semester, and to save time we will share web pages. If you are interested in the seminar, please email Gary your schedule.
new news item 8/22/2002 A tentative syllabus has been started. It obviously needs work...

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 smiley face).

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.