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.

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.

Typically we use different rooms for advanced and regular labs but during the summer we have a single room.  Just do whatever lab you feel comfortable with.

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.

Lab #	Lab Week	Lab Assignment
1	5/10/2018	Lab
2	5/15/2018	Lab
3	5/17/2018	Lab
4	5/22/2018	Lab
5	5/24/2018	Lab
6	5/29/2018	Lab (exam Prep)
8	5/31/2018	Lab
9	6/5/2018	Lab
10	6/7/2018	Lab
11	6/12/2018	Lab + Lab
12	6/14/2018	Exam Review