Differences

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

--- didattica:magistrale:svl:ay_1920:main [2019/09/24 20:26]
luca [Exams]
+++ didattica:magistrale:svl:ay_1920:main [2020/09/17 16:55] (current)
@@ Line 8: / Line 8: @@
 <WRAP center round important 95%>
   * <wrap em>**24/09/2019**</wrap>: The course page is online.
+  * <wrap em>**02/03/2020**</wrap>: The course officially starts on **Monday 9th March 2020 at 2pm, Room TeamLab**.
+  * <wrap em>**08/03/2020**</wrap>: The course officially starts on **Monday 9th March 2020 at 2pm, but it will be transmitted only in streaming at the link [[https://unicam.webex.com/meet/luca.tesei]] until, at the moment, the 3rd of April 2020. The timetable is the one specified (Mon 2pm-4pm and Wed 9am-11am). All the lectures will be recorded and made available from the Google Classroom platform, course code 2zjhwud. To join the course, access Google Classroom with the Unicam credentials (@studenti.unicam.it) and subscribe to the course with code: 2zjhwud**.
 </WRAP>
@@ Line 20: / Line 22: @@
 **Lectures schedule**:
-  * TBD 2nd Semester
+  * Monday 2pm-4pm, Wednesday 9am-11am
+**Recording of Lectures and other material**:
+  * The links to the recordings of lectures together with other material (besides the slides given in section Material below) will be given through the Google Classroom platform. To join the course, access Google Classroom with the Unicam credentials (@studenti.unicam.it) and subscribe to the course with code: **2zjhwud**
 **Webex Room for Lecture Streaming**
@@ Line 49: / Line 54: @@
 ===== Lectures =====
 <WRAP round 95% center box>
-  - TBD 2nd Semester
+The links to the recordings of lectures together with other material (besides the slides given in section Material below) will be given through the Google Classroom platform. To join the course, access Google Classroom with the Unicam credentials (@studenti.unicam.it) and subscribe to the course with code: **2zjhwud**
 </WRAP>
+  * The following links are just for the first lectures. All links will be provided inside the Google Classroom platform. Please, register to the Google Classroom course using your unicam credentials as soon as possible.
+  - Lecture of 09/03/2020 [[https://unicam.webex.com/unicam/ldr.php?RCID=6e79c664e808425dbb0a0d84d86d5b1a|Watch the Lecture]], [[https://unicam.webex.com/unicam/lsr.php?RCID=e85388cbee6b41adb3d3042da6450701|Download the Lecture]]
+  - Lecture of 11/03/2020 [[https://unicam.webex.com/unicam/ldr.php?RCID=ea94c00b35024a018ba2d4e423ebe3f8|Watch the Lecture]], [[https://unicam.webex.com/unicam/lsr.php?RCID=f6dadd53d69f4615b151f918d6c2a016|Download the Lecture]], {{ :didattica:magistrale:svl:ay_1920:svl1920-11-03-2020-uppaal-code.zip |UPPAAL Code}}
+  - the subsequent lectures are available only by accessing to the Google Classroom course (see instructions above)
 ----
 ===== Material =====
@@ Line 97: / Line 108: @@
   * {{ :didattica:magistrale:svl:ay_1920:5_-_linear_time_properties._liveness_properties.pdf |Liveness Properties}}
   * {{ :didattica:magistrale:svl:ay_1920:6_-_linear_time_properties._decomposition_theorem.pdf |Decomposition Theorem}}
+  * {{ :didattica:magistrale:svl:ay_1920:linear_time_properties._regular_safety_properties.pdf |Regular Safety Properties}}
   * {{ :didattica:magistrale:svl:ay_1920:7_-_linear_time_properties._fairness.pdf |Fairness}}
@@ Line 154: / Line 166: @@
 ===== Project =====
 <WRAP box round center 95%>
-  - TBD
+  - The text of the project can be found in the Google Classroom platform.
 </WRAP>