CS 576: Topics in Automated Deduction (Spring 2026)
          
main  ::  policy  ::  lectures  ::  mps  ::  project  ::  faq  ::  doc  ::  downloads
News for Spring 2026
  • 1/20/26 - 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, Thurs 3:30pm - 4:45pm
    0220 Siebel Center for Computer Science

    Zoom Info:
    Meeting Id: 838 6324 1301
    Passcode: cs421
    URL: https://illinois.zoom.us/j/83863241301?pwd=U2dtRm9RUmhVQUw4d3dFOVJxNHY4UT09

    Staff
    Professor
    Elsa Gunter
    Email: egunter@illinois.edu
    Office: 2112 SC
    Phone: 265-6118
    Skype: elsagunter
    Hours:
    Fri 11:00am - 12:15pm
    Subject to change from rebalencing, or because of medical appointments beyond my control
                  Meeting Id: 871 2339 8534
                  Passcode: ugrads
                  Zoom URL: https://illinois.zoom.us/j/87123398534?pwd=d1JzUG9NanJHd2hLNjRtYWZybXgwUT09
    Also by appointment