Logic and Computation
CS 2800 Summer 2017

College of Computer and Information Science
Northeastern University

Information on the labs appears below. All Labs are on Mondays and Wednesdays in 212 WVH

See the syllabus for a description of how labs works.

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

Lab Links

We will post assignments here.
Lab #
Lab Week
Lab Assignment
1 5/10/2017 Lab
2 5/15/2017 Lab
3 5/17/2017 Lab 3 and Lab 4 (encryption)
4 5/22/2017 Lab
5 5/24/2017 Lab
6 5/31/2017 Lab
7 6/5/2017 Lab
8 6/7/2017 Lab
9 6/12/2017 Lab
10 6/14/2017 Lab
11 6/19/2017 Review Lab
12 6/21/2017 No Labs. Enjoy the summer.