Information on the labs appears below. All Labs are on Fridays

Regular labs will go over course topics that you need to master for homeworks and exams. They won't be trivial but they are designed for students who want or need practice with the topics covered in class that week. Regular labs are in WVH 210

Advanced labs will (hopefully) challenge students that feel comfortable with that week's topics. I consider this an open invitation for me to write complex to sadistically hard questions. Completing this lab is not necessary to get an A in the course.  It's purely for people who like a challenge. Advanced labs are in WVH 212

TAs in the final lab of the day with help with both regular and advanced lab questions.

See the syllabus for a further description of how labs work.

For instructions on using ACL2s on the lab machines, click here. Most students find it more convenient to use their laptops.

Time	WVH 210 TAs (R)	WVH 212 TAs (A)
11:45AM-12:35PM	David Sprague Zhiyuan Cao Vidit Gupta	Alex Knauth Rebecca Bagley Edward Xie
12:40PM-1:30PM	David Sprague Zhiyuan Cao	Rebecca Bagley Alex Knauth Vidit Gupta
1:35PM-2:25PM	Nadiia Damrina Monica Malkani	Alex Knauth Rebecca Bagley
2:30PM-3:20PM	Nadiia Damrina Vidit Gupta	Alex Knauth Monica Malkani
3:25PM-4:15PM	Nadiia Damrina Vidit Gupta	Edward Xie Handuo Wang
4:20PM-5:10PM	Edward Xie Handuo Wang

We will post lab assignments here.

Lab #	Lab Week	Lab Assignment
1	1/12/2018	Lab
2	1/19/2018	Lab
3	1/26/2018	Lab
4	2/2/2018	Lab
5	2/9/2018	Lab
6	2/16/2018	Lab
8	3/2/2018	Lab
9	3/16/2018	Lab
10	3/23/2018	Lab
11	3/30/2018	Lab
12	4/6/2018	Lab