CIS 5000: Course Homepage

Coordinates

Tuesday/Thursday 1:45-3:15pm
Moore 216

email: cis5000_NOSPAM AT seas.upenn.edu

Staff

Instructor: Benjamin C. Pierce
bcpierce_NOSPAM AT cis.upenn.edu
Office hours: Mondays 3:00 - 5:00pm (and by appointment)
Location: Levine 562
Teaching Assistants: Hanxi (Gary) Chen
Office hours: Wednesdays 7-8 PM and Sundays 2-3 PM
Location: Towne M70 (Wednesdays) or Zoom (Thursdays).; Jessica Shi
Office hours: Tuesdays, 10AM - noon
Location: Zoom; Alaia Solko-Breslin
Office hours: Tuesdays 3:30 - 5:30
Location: Towne M70

Attendance Policy

Lecture participation is strongly encouraged. However, if you cannot or choose not to attend lecture:

lecture recordings will be available online, and
the bulk of the course is available as a literate source-code textook that is suitable for self study.

Covid Policy

For the moment, masks are optional. Changes to this policy may be revisited as new data becomes available.

If you feel sick, please stay home and keep others safe!

Course Infrastructure

Ed Discussion: We will use Ed for both announcements and discussions. Please register yourself there to make sure you keep up with what's happening.
Poll Everywhere: To make lectures more interactive, we will be using Poll Everywhere platform. There is no charge to students for using this platform.
Gradescope: We use Gradescope for homework submissions.
Canvas: The Canvas site is active, but this course uses it only as a means of tracking enrollment, to host links to the resources above, and to organize the lecture recordings.

NOTE: If you are taking the course but cannot access the above resources, please contact a CIS 5000 staff member.

Class Schedule

NOTE: The following links provide HTML and Coq .v files for the lecture material in the course. These materials will be updated throughout the semester, so please be sure that you use the most recent version of the files, especially for homework. The schedule is tentative.