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 |