CS3311: Formal Models of Computation
              Spring 2017

Beginning of semester notices:

• Test message: On Friday (January 6, 2017), I sent out a welcome message to the class mailing list. Everyone who has registered for the class should receive the messages to this list. If you registered on or after January 6th, you need to wait for a later test message. Please let me know if you know someone who did not receive this message but should have.
• Class e-mailing list: I use the class mailing list to communicate issues in advance, and for homework and exam clarifications. I always try to repeat them in class but it is important that you check your MTU mailbox at least once a day.
  
• When you send e-mail to me: Please put "CS3311" and the topic of your message on the subject line. If you "reply" to an older message to get my address, please change the subject line to the current subject. These ensure that your message gets VIP attention.

Syllabus:

• Course Information and Policies
• Overview Schedule