Information on the labs appears below. All Labs are on Fridays in 212 WVH.
See the syllabus for a description of how labs works. Also, read the Lab instructions page which the syllabus also has a link to.
For instructions on using ACL2s on the lab machines, click here.
Time |
TA |
Tutor |
| 9:50AM - 10:40AM | Jaideep | Swetha |
| 10:45AM - 11:35AM | Jaideep | Swetha |
| 11:45PM - 12:35PM | Hamid | Ali |
| 12:40PM - 1:30PM | Hamid | Ali |
| 1:35PM - 2:25PM | Abdorrahim | Ian |
| 2:30PM - 3:20PM | Abdorrahim | Ian |
| 3:25PM - 4:15PM | Triet | Brendan |
| 4:20PM - 5:10PM | Triet | Brendan |
| 5:15PM - 6:05PM | Triet | Brendan |
If there are no code and proof walkthroughs scheduled, we will post labs assignments here. See the TA responsible for your lab for the presenting and questioning schedules.
Lab # |
Lab Date |
Lab Assignment |
| 1 | 1/13/2012 | Assignment |
| 10 | 3/23/2012 | Assignment |
| 11 | 3/30/2012 | Assignment |
| 12 | 4/6/2012 | Assignment |
| 13 | 4/13/2012 | Assignment |