General course information:
Teaching Assistant: The teaching assistant for this course is Srinivas Kolluri kolluri@cis.ksu.edu . His office hours are Tuesdays and Thursdays 11:00-12:00 A.M. in N019K.
Acknowledgement: To Michael Huth for permission to use his course materials and for general advice about the course.
Torben Amtoft