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 |