CS 576: Topics in Automated Deduction (Spring 2012)
          
News for Spring 2012
  • 4/26/12 - Office hours today (11AM-12:15PM) are recheduled to 10:30AM-11:45AM - DG
  • 4/11/12 - I have filled in a tentative schedule for presentations for the remainder of the semester. I expect everyone to present another two more times, for a total of three times. The schedule is tight at the end, so I will be looking to move a talk ahead any chance I get. Since we are now into the code phase of presentations, I expect people to be prepared to go a day early if called upon. I will try to give some warning. Under any circumstances, everyone will be expected to go no later than their scheduled time, unless they make arrangements with anotehr student to swap within the same round. The schedule is subject to change if we move at a faster pace, or if some disaster befalls a member of the class, so please check periodically. - ELG
  • 3/15/12 - I am available now (starting at 5:30pm) as well. I regret any inconvience I may have caused. - ELG
  • 3/15/12 - I need to move my online office hours tonight from 5:00pm - 6:00pm to 7:30pm - 8:30pm. I hope this causes no problems for anyone. If you see my online before then, please feel free to contact me. - ELG
  • 1/19/12 - MP1 is released. In general, MPs will be released on Thurdays due the next Thursday, and I will not announce them indiviually like this. - ELG
  • 1/19/12 - Every student should have an svn repository at https://subversion.ews.illinois.edu/svn/sp12-cs576/netid. This should facilitate moving files between different systems, and allow me access to your code if you have problems. - ELG
  • 1/17/12 - Welcome to the spring session of CS576. This page will be the main bulletin board for the course, and hence is always under construction. Please check it frequently - ELG
  • README
    Course Description
    Objectives
    Contacting Staff
    Submitting Assignments
    Extensions
    Regrade Policy
    Collaboration
    Academic Integrity
    Grading
    Textbooks
    FAQ

    Class Schedule
    Lecture:
    Tues, Thur 9:30am - 10:45am
    1131 SC

    Staff
    Professor
    Elsa Gunter
    Email: egunter@illinois.edu
    Office: 2112 SC
    Phone: 265-6118
    Skype: elsagunter
    AIM: elsagunter
    Hours:
    Tues and Thurs
    11:00am - 12:15pm
    Thurs - On-line only
    5:00pm - 6:00pm
    Also by appointment

    Teaching Assistant
    Dennis Griffith
    Email: dgriffi3@illinois.edu
    Office: 0207 SC
    Phone: (217) 778-7740
    Skype: ingthirinhacre
    GTalk: isanobody
    Hours:
    Mon and Wed
    12:00pm-12:50pm
    Wed - On-line only
    7:00pm - 8:00pm
    Also by appointment