Differences

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

--- didattica:magistrale:svl:ay_1920:main [2020/03/02 18:51]
luca [News]
+++ 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>**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 55: / Line 56: @@
 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 101: / 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 158: / Line 166: @@
 ===== Project =====
 <WRAP box round center 95%>
-  - TBD
+  - The text of the project can be found in the Google Classroom platform.
 </WRAP>