Information on the labs appears below. All Labs are on Fridays 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
11:45AM - 12:35PM	Jaideep, Rohit	Qiye, Nitish S
12:40PM - 01:30PM	Jaideep, Rohit	Peizun, Shalin
01:35PM - 02:25PM	Peizun, Olivia Mohit	Qiye, Shalin
02:30PM - 03:20PM	Jaideep, Olivia	Lucas, Kevin
03:25PM - 04:15PM	Jaideep, Kevin, Sushant	Lucas, Deeraj
04:20PM - 05:10PM	Jaideep	Zhengxing, Dheeraj
05:15PM - 06:05PM	Zhengxing	Sushant

We will post labs assignments here.

Lab #	Lab Date	Lab Assignment
1	1/15/2016	Lab
2	1/22/2016	Lab
3	1/29/2016	Lab
4	2/5/2016	Imitation Game Lab
5	2/12/2016	Lab
6	2/19/2016	Lab
7	2/26/2016	Exam solutions
8	3/4/2016	Lab
9	3/18/2016	Lab
10	3/25/2016	Lab
11	4/1/2016	Lab
12	4/8/2016	Lab