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.

bars search times arrow-up