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 |