Schedule
| Date | Lecture Notes | Extra | Due | |
|---|---|---|---|---|
| Tue | 01/16 | Overview | 1.1-1.3 | |
| Thu | 01/18 | Imperative Program Semantics: Take I: functions | ||
| Tue | 01/23 | Semantics of While Programs | ||
| Thu | 01/25 | Dynamic Logic | ||
| Tue | 01/30 | Proving Programs | ||
| Thu | 02/01 | Proofs about Loops | ||
| Tue | 02/06 | Proofs about Terminating Loops | ||
| Thu | 02/08 | Uniform Substitution Understanding | ||
| Tue | 02/13 | Static Semantics and Coincidents | 2.2,2.6 | Asst 1 |
| Thu | 02/15 | Uniform Substitution Soundness | ||
| Tue | 02/20 | Coincidences and Contexts | Asst 2 | |
| Thu | 02/22 | Semantics of Program Contexts | 3.4 | |
| Tue | 02/27 | Full Abstraction and Relating Different Behaviors | 3.2,3.3 | |
| Thu | 03/01 | Functions, arrays, pointers, objects | slide IJCAR'06 | |
| Tue | 03/06 | Free: Open House | ||
| Thu | 03/08 | Games and Interactivity | ||
| Tue | 03/13 | Free: Spring break | ||
| Thu | 03/15 | Free: Spring break | ||
| Tue | 03/20 | Winning Strategies and Regions | TOCL'15 | White paper |
| Thu | 03/22 | Winning and Proving | ||
| Tue | 03/27 | Midterm Exam | Midterm | |
| Thu | 03/29 | Winning Repetitions by Proofs | ||
| Tue | 04/03 | Operational Semantics | ||
| Thu | 04/05 | Type Systems and Type Preservation | Asst 3 | |
| Tue | 04/10 | Relating Denotational and Operational Semantics | ||
| Thu | 04/12 | Axiomatic Semantics | ||
| Tue | 04/17 | Completeness | ||
| Thu | 04/19 | Free: Spring Carnival | ||
| Tue | 04/24 | Relative Completeness | LICS'12 JAR'17 | |
| Thu | 04/26 | Completeness and Complexity | TOCL'15 | |
| Tue | 05/01 | More completeness | TOCL'15 | |
| Thu | 05/03 | Free: | Project wrap-up day | Term paper |
Assignment Schedule
| Points | Assignment | Due | |||
|---|---|---|---|---|---|
| Asst 1 | 50 | Imperative program reasoning and undefinedness | Tue | 02/13 | |
| Asst 2 | 50 | Substituting program reasoning | Tue | 02/20 | |
| Asst 3 | 50 | Methods and fun with games | Thu | 04/05 | |
| White paper | 20 | Project White Paper | Tue | 03/20 | |
| Midterm | 150 | Midterm Exam | Tue | 03/27 | |
| Term paper | 180 | Project Term Paper | Thu | 05/03 | |
| Sum | 500 | points listed | |||
The Assignment Schedule is tentative!
Homework assignments are due at start of lecture on the due day.