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
The instructor for Com S 641, is professor Gary T. Leavens. Please do not hesitate to ask questions.
The fastest way to receive an answer to a question is to phone Gary Leavens, or send him email at leavens@cs-DOT-iastate-DOT-edu (replace -DOT- with ".").
During the semester, we will hold weekly office hours at the times listed below, and by appointment. The office hours were scheduled to provide a variety of meeting times. Please let us know if none of these times work for you and we will consider revising the office hours schedule.
If you need to drop off an assignment or a note and we are busy or not in our offices you can leave it in the department office.
We welcome your suggestions on the course and how well (or poorly) we, the course staff, are serving you. You are welcome to make suggestions during or after class or to visit us during office hours or by appointment. You may also send us an email or call if you want to discuss something about the course in person.
If you would rather make an anonymous suggestion, you can leave a note in Gary Leavens's box.
Last modified Sunday, January 6, 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.