Information on the labs appears below. All Labs are on Fridays in WVH 212 on Bluejeans.

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	WVH 212
11:45AM-12:35PM	Andrew Walter Brianna Calareso Nathaniel Rosenbloom
12:40PM-1:30PM	Andrew Walter Nathaniel Rosenbloom Brianna Calareso
1:35PM-2:25PM	Andrew Walter Matthew Dean Anni Yuan
2:30PM-3:20PM	Andrew Walter Anni Yuan
3:25PM-4:15PM	Andrew Walter Brianna Calareso

We will post lab assignments here. Solutions are included for post coronavirus labs.

Lab #	Date	Solutions
Lab 1	1/10/2020
Lab 2	1/17/2020
Lab 3	1/24/2020
Lab 4	1/31/2020
Lab 5	2/7/2020
Lab 6	2/14/2020
Lab 7	2/21/2020
Lab 8	2/28/2020
Lab 9	3/13/2020	Solutions
Lab 10	3/20/2020	Solutions
Lab 11	3/27/2020	Solutions
Lab 12	4/3/2020	Solutions
Lab 13	4/10/2020