All labs take place on Fridays in WVH 210.

Labs will go over course topics that you need to master for homeworks and exams. See the syllabus for more info on how labs work.

Bring your laptops to lab so that you can use ACL2s.

Time	Lab TAs
1:35PM-2:25PM	Michael Lin Alex Knauth Sanket Mathur
2:30PM-3:20PM	Michael Lin Alex Knauth Sanket Mathur
3:25PM-4:15PM	Alex Knauth Dillon Hammer Korina Pluss
4:20PM-5:10PM	Alex Knauth Dillon Hammer Korina Pluss

We will post lab assignments here.

Lab #	Lab date	Lab assignment
1	9/6/2019	Lab 01
2	9/13/2019	Lab 02
3	9/20/2019	Lab 03
4	9/27/2019	Lab 04
5	10/4/2019	Lab 05
6	10/11/2019	Lab 06
7	10/18/2019	Lab 07: practice exam!
8	10/25/2019	Lab 08
9	11/1/2019	Lab 09: exam 1 review!
10	11/8/2019	Lab 10
11	11/15/2019	Lab 11
12	11/22/2019	Lab 12: exam 2 and tail recursion review