Timetabling#
Lectures are at the core of this course and are designed to be engaging.
Our lectures are scheduled as follows:
- Wednesday 15:00-17:00 Canberra time
- Thursday 11:00-12:00 Canberra time
Lecture Recordings and Slides#
The slides are available on this webpage. The recordings of the lectures are available via Wattle (Echo360).
| Topic | Lecture Date | Slides | Notes |
|---|---|---|---|
| Admin | 26/07/2023 | Section 0 (pdf) | organisation of the course |
| Introduction | 26/07/2023 | Section 1 (pdf) | |
| IMP and operational Semantics | 26/07/2023 — 02/08/2023 |
Section 2 (pdf) | Whiteboard 27/07 Whiteboard 02/08 Whiteboard 02/08 (rerecord) |
| Types | 02/08/2023 — 03/08/2023 |
Section 3 (pdf) | Whiteboard 03/08 |
| Induction | 09/08/2023 | Section 4 (pdf) | Whiteboard 09/08 |
| Functions | 10/08/2023 | Section 5 (pdf) | |
| Function Types | 16/08/2023 | Section 6 (pdf) | |
| Recursion | 16/08/2023 | Section 7 (pdf) | |
| Data | 17/08/2023 | Section 8 (pdf) | |
| Exceptions | 23/08/2023 | Section 9 (pdf) | |
| Subtyping | 23/08/2023 | Section 10 (pdf) | Whiteboard 23/08 |
| Objects | 24/08/2023 | Section 11 (pdf) | |
| Implementing IMP | 30/08/2023 | Section 12 (pdf) | Whiteboard 30/08 |
| Isabelle/HOL | 31/08/2023 | Section 13 (pdf) | Whiteboard 31/08 |
| Semantic Equivalences | 20/09/2023 | Section 14 (pdf) | Whiteboard 20/09 |
| Denotational Semantics | 21/09/2023 — 27/09/2023 | Section 15 (pdf) | |
| Partial/Total Correctness | 27/09/2023 | Section 16 (pdf) | Whiteboard 27/09 |
| Axiomatic Semantics | 27/09/2023 — 04/10/2023 | Section 17 (pdf) (updated) | Whiteboard 28/09 Whiteboard 04/10 |
| Weakest Precondition | 05/10/2023 | Section 18 (pdf) | Whiteboard 05/10 |
| Concurrency | 5/10/2023 — 11/10/2023 | Section 19 (pdf) | Whiteboard 11/10 |
| CCS | 11/10/2023 — 12/10/2023 | Section 20 (pdf) | |
| Pure CCS | 12/10/2023 | Section 21 (pdf) | Whiteboard 12/10 |
| Semantic Equivalence | 18/10/2023 | Section 22 (pdf) (ver 1.1) | |
| Owicki-Gries | Section 23 (pdf) | Whiteboard 19/10 | |
| Rely Guarantee | Section 24 (pdf) | Whiteboard 25/10 | |
| Conclusion | Section 25 (pdf) (ver 1.1) | ||
| Algebra | Section 26 (pdf) |
The full slide deck (Sections 0-26) — updated 22 Oct — can be found here.
Preliminary Lecture Slides#
I will upload slides before the lecture to this webpage. However, these are preliminary slides. After the lecture I will finalise them (e.g. adding missing pieces and fixing typos) and upload them again.