Logistics

Lecture Schedule

Lectures will be 1:30-2:45 on Mondays and Wednesdays in Hackemann B-17.

Syllabus

See the Dateline for the schedule and the topics that will be covered.

Gradescope

Gradescope will be used for assignment submission and grade posting. See the Q&A board for the entry code.

Courselore Q&A board

We will be using the Courselore Q&A board for online discussions. A registration link will be emailed if you are either registered or on the wait list, and the link will also be posted as an announcement on Canvas if you signed up late and missed the email. All information not on this website, such as locations of Panopto recordings, office hours, etc will be posted on Courselore.

Note we are not using Canvas for anything so don’t try accessing things like Gradescope or Panopto from within there as it probably won’t work.

Lecture Videos

Lectures will be recorded and the Panopto page for those recordings will be posted on Courselore.

Assignments

All assignments are linked from the dateline. They will all be programming exercises, primarily in OCaml.

Exams

There will be no exam. There will be a quiz around 2/3rds of the way through the course.

Project

There will be an independent team project at the end of the course worth around three homeworks. Demos will be held around the course final exam day.

Collaboration

The collaboration policy for assignments is you are encouraged to discuss assignments with other students, but everyone must submit their own writeup of the answers (no emailing/DMing solutions to each other for example). You are also required to list all collaborators on your submission.

Please make sure to consult the course Academic Integrity Policy on what is legitimate interaction for homeworks, it is spelled out in detail there.

Late HW Policy

You will be given ten total late days. For each unique due date submission point in Gradescope you can use up to three of your late days quota, each one allowing you to submit the assignment one day later. The quantum of lateness is the day, so if you are 15 seconds late that counts as a day late. If you have a cold or flu you can use the late days for such absences; if you have an extended excused absence contact Staff on Courselore and we can work something out. The late days are for the individual assignments, not the project submissions.

Office hours

Office hours will be pinned on Courselore.