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
Course Staff
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.
|
Instructor Gary T. Leavens leavens@cs-DOT-iastate-DOT-edu (replace -DOT- with "."). 229 Atanasoff Hall Office Hours: MW 2, TR 10 and by appt. Phone: 294-1580 |
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.