Nov 9, 2017: Lab 4 has been released. This is a large lab: the handin is split into four parts: Lab 4a is due Nov 16, Lab 4b is due Nov 30, Lab 4c is due Dec 7, and Lab 4d is due Dec 11. See the assignment for details.
Oct 18, 2017: Lab 3 has been released. The handin is split into three parts: Lab 3a is due Oct 19, Lab 3b is due Nov 2, and Lab 3c is due Nov 9. See the assignment for details.
Oct 4, 2017: Lab 2 has been released. The first half of the lab is due Oct 12 (see the assignment for details). The rest of the lab is due Oct 19th.
Sep 25, 2017: Lab 1 has been released, due Oct 5.
May 26, 2017: Preliminary schedule posted.
May 2017: This class is new and will be offered in the Fall of 2017. It is loosely based on the original POCS. It provides an introduction the basic principles of computer systems with emphasis on the use of rigorous techniques as an aid to understanding and building modern computing systems. The labs will involve the proof assistant Coq. You should not take this class if you haven't taken 6.033 and one of the advanced systems subjects (e.g., 6.824, 6.828, 6.830, or 6.858). We will assume you have no prior knowledge of Coq.
Questions or comments regarding 6.826? Contact us on Piazza or send e-mail to the 6.826 staff at firstname.lastname@example.org.