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 641 - Semantic Models for Programming Languages

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

Date News Item
new news item 8/22/2002 The refinement calculus seminar is being offered this Fall semester. If you are interested, please email your schedule to Gary.
5/4/2002 The syllabus has been updated to reflect what we really did.
3/10/2002 The link to the full text lecture notes directory has been corrected. Lecture notes have been updated to include an expanded version of the notes from Cohen's chapter 2 (on an algebraic treatment of the boolean operators) and Cohen's chapter 3 (on an algebraic treatment of the boolean quantification).
You may, however, be better off taking notes from the meeting outlines in the meeting outlines directory. These are also accessible from the syllabus.

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 Thursday, August 22, 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.