Introduction to Formal Methods CS 5860

CS 5860 Fall 14:


Projects due Thursday, December 11. Early submissions greatly encouraged!


Robert Constable



10:10AM - 11:25AM


Upson 211

Course Information
CS5860 - Fall 2014


Professor Robert Constable, Instructor
320 Gates Hall
Office Hours: After class and by appointment
email: rc at cs dot cornell dot edu

Vincent Rahli, Instructor
email: vincent dot rahli at gmail dot com


Prerequisites: CS 2110 or CS 3110 or equivalent and CS 2800 or equivalent. Concurrent enrollment in CS 4860/MATH 4860 not recommended.


We will be using "Type Theory and Functional Programming" by Simon Thompson. The PDF version of this book is posted here.
There will also be readings that will be posted under the class Schedule as well as listed by Author

Homework Policies

Cornell University has a Code of Academic Integrity, with which you should be familiar. Violations of this code are treated very seriously by Cornell and can have long-term repercussions. In this course, you are encouraged to discuss the content of the course with other students, and you may also discuss homework problems with other students. However, you must do your own work, write up assignments yourself, and if you discuss a problem with another student, you are expected to document this fact in your write-up. It is a violation of the code to copy work, including programs, from other students; it is also a violation to use solutions to homework problems from previous iterations of the same course. Note that Cornell holds responsible for the code violation both the recipient and the donor of improper information.