Differences

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

--- courses:sdm2024:main [2024/05/01 12:19] – [Syllabus/Schedule (with links to slides/notes)] 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.
+  * 05/08: suggested solutions to {{courses:sdm2024:hw3_s.pdf|HW#3}} and {{courses:sdm2024:hw4_s.pdf|HW#4}} available.
+  * 05/06: review forms for the second prelim. demo presentations: {{courses:sdm2024:Presentations_demo2.docx|Evaluation by Individual Reviewer}} and {{courses:sdm2024:Presentations_demo2_comments.docx|Group-for-Group Comments}}.
+  * 05/01: link to the slides of 05/01 updated.
   * 04/24: {{courses:sdm2024:hw4.pdf|HW#4}} due 2:20PM 05/01.
   * 04/17: slides for Web Application Security available.