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
Reference
Q & A
Old 641 Meeting outlines
Resources
JML
Links
Refinement Calculus
Java Formal Methods
Department Homepage
Iowa State U. Homepage
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 | |
|---|---|---|
|
8/26/2002 | This seminar will meet Fridays at 1:10pm in 214 Atanasoff Hall. See you there. |
|
|
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. |
|
|
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.
Feedback
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.