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

See the syllabus for a description of how labs works.

For instructions on using ACL2s on the lab machines, click here.

Time	TA	Tutor
9:50AM - 10:40AM	Brendan	Savannah
10:45AM - 11:35AM	Brendan	Savannah
11:45AM - 12:35PM	Brendan	Liam
12:40PM - 1:30PM	Brendan	Liam
1:35PM - 2:25PM	Hamid	Liam
2:30PM - 3:20PM	Hamid	Hsiu-Te
3:25PM - 4:15PM	Hamid	Moling
4:20PM - 5:10PM	Hamid	Moling
5:15PM - 6:05PM	Hamid	Carly

If we post labs assignments in advance, they will be here.

Lab #	Lab Date	Lab Assignment
1	1/11/2013	Assignment