Coordinates
- Tuesday/Thursday 1:45-3:15pm
- Moore 216
- email: cis5000 AT seas.upenn.edu
Staff
- Instructor
-
Steve Zdancewic
stevez AT cis.upenn.edu
Office hours: Monday 4:00 - 5:00pm (and by appointment)
Location: Levine 511 - Teaching Assistants
-
Zain Aamer
Office hours: Tuesday 4:30 - 5:30pm
Location: Levine 501 bump space -
Cuthbert Li
Office hours: Sunday 2:00 - 4:00pm
Location: Levine 501 bump space -
Elan Roth
Office hours: Monday 5:30 - 6:30pm
Location: Levine 501 bump space - Example Exams
- Past exams (2023, 2022, and 2021 recommended)
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.
Full Code Source You can download the whole Coq development in one go using these links: Logical Foundations: lf.tgz Programming Language Foundations: plf.tgz This is a good way to create the initial folder for your CIS 5000 projects, but, as mentioned above, please be sure to get the latest .v files for each HW.