User Tools

Site Tools


plt17:top

Programming Language Theory 2017

Mycourses Webpage

Instructor: Hossein Hojjat

Email: hh at cs rit edu

Office hours (GOL-3545):

  • Tu 11am – 12am
  • Th 11am - 12am

Lectures: MoWeFr 1:25PM - 2:20PM (GOL-1445)

Final Exam: 12/18/2017 (12:30 PM - 2:30 PM) , Place: GOL-1445

Description & Policies:
CS Common Course Policies
Grading Policies
Homework Assignment Policies

Acknowledgements:
Portions of this course material based upon similar courses offered by Armando Solar-Lezama and Adam Chlipala.

Recommended Books:

Course Materials

Week 1

Week 2

Week 3

Monday 09/11 Lecture 6: The λ-calculus Slides
Wednesday 09/13 Instructor attending RV 2017
Friday 09/15 Lecture 7: Programming in the λ-calculus Slides

Week 4

Week 5

Week 6

Week 7

Week 8

Week 9

Week 10

Week 11

Week 12

Week 13

Monday 11/20 Lecture 33: Automata Theoretic Model Checking Slides
Wednesday 11/22 Thanksgiving Break
Friday 11/24 Thanksgiving Break

Week 14

Week 15

Monday 12/04 Software Synthesis for Networks
Wednesday 12/06 Final Presentation: Quinn,Kyle,Bhavin,Joshua
Friday 12/08 Final Presentation: Dustin,Anindo,Harlan,Giovanni

Week 16

Monday 12/11 Course Conclusion
plt17/top.txt · Last modified: 2017/12/03 20:04 by hossein