Information on the labs appears below. All Labs are on Fridays.
Labs will go over course topics that you need to master for homeworks and exams.
See the syllabus for a further description of how labs work. Bring your laptops to lab so that you can use ACL2s
|
Time
|
Location
|
TAs
|
| 12:40PM-1:30PM | WVH 210B | Andrew Walter Ankit Kumar Nathaniel Rosenbloom Renuka Ganesh Tara Tam Samuel Ji |
| 1:35PM-2:25PM | WVH 212 | Andrew Walter Ankit Kumar Nathaniel Rosenbloom Renuka Ganesh Tara Tam Angela Shen |
| 2:30PM-3:20PM | WVH 212 | Andrew Walter Ankit Kumar Nathaniel Rosenbloom Tara Tam Angela Shen |
| 3:25PM-4:15PM | WVH 212 | Andrew Walter Ankit Kumar Angela Shen Eduard Buna Brendan Clarke Owen Goldner |
| 4:20AM-5:10PM | WVH 212 | Andrew Walter Ankit Kumar Angela Shen Eduard Buna Brendan Clarke Owen Goldner |
Labs are available from canvas.
|
Lab #
|
Date
|
| Lab 1 | 1/21/2022 |
| Lab 2 | 1/28/2022 |
| Lab 3 | 2/4/2022 |
| Lab 4: Exam 1 | 2/11/2022 |
| Lab 5 | 2/18/2022 |
| Lab 6 | 2/25/2022 |
| Lab 7: Exam 2 | 3/4/2022 |
| Lab 8 | 3/11/2022 |
| Lab 9: Exam 3 | 3/25/2022 |
| Lab 10 | 4/1/2022 |
| Lab 11: Exam 4 | 4/8/2022 |
| Lab 12 | 4/15/2022 |
| Lab 13: Exam 5 | 4/22/2022 |