Logic and Computation
CS 2800 Spring 2017

College of Computer and Information Science
Northeastern University

Information on the labs appears below. All Labs are on Wednesdays and Thursdays in 210 WVH and 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.

Time
WVH 210 TAs
WVH 212 TAs
Wed, 11:45AM-1:25PM Thomas Wahl
Lisa Oakley
Dinesh Kannan
M. Rock + D. Jamner
Shalin Sitwala

Wed, 2:50PM-4:30PM Jaideep Ramachandran
Varun Nandu
Andrew Hurd
Peizun Liu
Reef Loretto
Neethu Prasad
Thu, 11:45AM-1:25PM Jaideep Ramachandran
Monica Malkani
Amul Mehta
Ethan Neidhart
Olivia DeFlumeri
Tanvi Jambhore
Derek Schuster

Thu, 2:50PM-4:30PM Jaideep Ramachandran
Anoop Pai
Nitish Surana
Varun Nandu
Olivia DeFlumeri
Harsh Shukla
Shardul Thakre

We will post lab assignments here.

Lab #
Lab Week
Lab Assignment
1 1/09/2017 Lab
2 1/16/2017 Lab
3 1/23/2017 Lab
4 1/30/2017 Lab
5 2/06/2017 Lab
6 2/13/2017 Lab
7 2/20/2017 Lab
8 2/27/2017 Lab
9 3/13/2017 Lab
10 3/20/2017 Lab
11 3/27/2017 Lab
12 4/03/2017 Lab