Differences

This shows you the differences between two versions of the page.

--- courses:sdm2024:main [2024/05/14 12:58] – [Announcements] tsay2
+++ courses:sdm2024:main [2024/06/19 04:01] (current) – [Announcements] tsay2
@@ Line 3: / Line 3: @@
 ===== Announcements =====
+  * 06/15: grade report available; contact the instructor by 2PM 06/17 (Monday) if you have any question or request.
+  * 06/05: the {{courses:sdm2024:sdm2024final.pdf|final exam}}; good luck!
+  * 06/05: suggested solutions to {{courses:sdm2024:hw5_s.pdf|HW#5}} available.
+  * 05/29: {{courses:sdm2024:hw5.pdf|HW#5}} due 11:59PM 06/04.
+  * 05/06: review forms for the final presentations: {{courses:sdm2024:Presentations_final.docx|Evaluation by Individual Reviewer}} and {{courses:sdm2024:PeerReview.pdf|In-Group Peer Evaluation}}.
+  * 05/22: slides for Formal Logic, Hoare Logic, and Frama-C and ACSL available.
   * 05/14: {{courses:sdm2024:sdm2024grade_termproject.pdf|current scores}} of term project available.
   * 05/08: slides for Software Testing available.