[AAA551] Update lec6

Author: jhnaldo

_data/course/aaa551/2026_1.yml

@@ -46,41 +46,41 @@ parts:
       handout: slides/lec6-handout.pdf
     - index: 7
       date: 03/26
-      title: Abstract Machines
+      title: Trace Semantics
       # pdf: slides/lec7.pdf
       # handout: slides/lec7-handout.pdf
     - index: 8
       date: 03/31
-      title: Trace Semantics
+      title: Trace Properties
       # pdf: slides/lec8.pdf
       # handout: slides/lec8-handout.pdf
     - index: 9
       date: 04/02
-      title: Trace Properties
+      title: Abstract Machines
       # pdf: slides/lec9.pdf
       # handout: slides/lec9-handout.pdf
+      homework:
+      - name: hw01
+        # link: todo
+        date: 04/16
     - index: 10
       date: 04/07
-      title: Link Operational and Denotational Semantics
+      title: Axiomatic Semantics
       # pdf: slides/lec10.pdf
       # handout: slides/lec10-handout.pdf
-      homework:
-      - name: hw01
-        # link: todo
-        date: 04/21
     - index: 11
       date: 04/09
-      title: Axiomatic Semantics
+      title: Systematic Program Proofs
       # pdf: slides/lec11.pdf
       # handout: slides/lec11-handout.pdf
     - index: 12
       date: 04/14
-      title: Systematic Program Proofs
+      title: Separation Logic (1)
       # pdf: slides/lec12.pdf
       # handout: slides/lec12-handout.pdf
     - index: 13
       date: 04/16
-      title: Separation Logic
+      title: Separation Logic (2)
       # pdf: slides/lec13.pdf
       # handout: slides/lec13-handout.pdf