News for Spring 2020 |
4/24/20 - MP4 has been put in your git repos.
It is due Friday, May 1. - ELG 3/31/20 - The Midterm is out: I have pushed the
midterm to all your git repos. It is due Wednesday April 8. It
covers through Hoare Logic, with weakest precondition and
verification condition generation if you choose to use it. - ELG 3/27/20 - Friday Office hours
My Friday office hours will be by group; show up when you can / want;
we all meet together. I have been given many meetings (more than when
we were in rooms on campus) and the only time that doesn't collide
with other meetings on Fridays is 2:00pm - 3:00pm. Please see the
piazza post for more details.
Topic: CS 477 Friday Office Hours
Time: Mar 27, 2020 02:00 PM Central Time (US and Canada)
Every week on Fri, until May 8, 2020, 7 occurrence(s)
Mar 27, 2020 02:00 PM
Apr 3, 2020 02:00 PM
Apr 10, 2020 02:00 PM
Apr 17, 2020 02:00 PM
Apr 24, 2020 02:00 PM
May 1, 2020 02:00 PM
May 8, 2020 02:00 PM
---Elsa
- ELG 3/25/20 - My Wednesday office hours will be by group, show up when you can / want; we all meet together. The time is still
Wednesdays 1:30 pm - 2:20pm
Please see the piazza post for more details.
---Elsa - ELG 3/1/20 - HW1 has been graded and the results have
been put in your git repositories in a file named
hw1-submission-graded.pdf. The scores for HW1 have been uploaded
into Compass. - ELG 2/29/20 - Because of the mistakes in distributing
this assignment, I have extended the base due date for HW3 to
Friday March 6. I have also moved the late handin date to Sunday
March 8, but students taking the option to turn in this assignment
late should not expect to received graded feedback before the
Midterm. - ELG 2/14/20 - Starting next week I need to move my
Friday office hour to 3:00pm - 3:50pm - ELG 2/8/20 - I have shifted the due date for each
of HW1 and HW2 to be due on Friday. I am hoping to be able to
shift the due dates back within the next few weeks. - ELG 1/21/20 - Welcome to CS477, Spring 2020. This
page will be the main bulletin board for the course, and hence is
always under construction. Please check it frequently. - ELG 1/21/20 - Caution: All the webpages for
this course are currently under conversion. I have copied then
shamelessly from my webpages from CS 477, Fall 2018, and before
that from CS 421. I have revised them but
there may still be detritus in them. Please point out any
oddities and I will fix them (or explain them). - ELG |
|
Class Schedule |
Lecture:
Wed, Fri 9:30am - 10:45am
1109 SC
|
Staff |
Professor |
Elsa Gunter
Email: egunter@illinois.edu
Office: 2112 SC
Phone: 265-6118
Hours:
Wed 1:30pm-2:20pm
Fri 3:00pm-3:50pm
Also by appointment
|
|
|