Graduate Seminar Course Fall 2017: Reasoning about Programs
Would you like to be able to automatically prove that your program does what it is supposed to do? Or, automatically “learn” a correct program?
If yes, I invite you to sign up for my Fall 2017 graduate seminar on Reasoning about Programs. The seminar is not your usual paper reading seminar – it is largely structured like a regular course, with instructor lectures, homeworks, a midterm and a final project. See the course website for more details.
Course title: CS59000: Reasoning about Programs
Time/location: Tuesdays and Thursdays, 4:30-5:45pm, Lawson B134
Course webpage: https://www.cs.purdue.edu/homes/roopsha/cs590capr/f17/cs590_f17_index.html
My webpage: https://www.cs.purdue.edu/homes/roopsha/
Feel free to email Professor Roopsha Samanta (roopsha@purdue.edu) if you have any questions about this course.