Differences

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

--- didattica:magistrale:svl:ay_1819:main [2019/05/28 17:45]
luca [Material]
+++ didattica:magistrale:svl:ay_1819:main [2020/09/17 16:55] (current)
@@ Line 116: / Line 116: @@
   - 22/05/2019 - [[https://unicam.webex.com/unicam/ldr.php?RCID=bf66275e77194d5a7fbf26474fb3713c|Watch the Lecture]], [[https://unicam.webex.com/unicam/lsr.php?RCID=99f0ba434e2ae527efb097ecea23c1f0|Download the Lecture]], {{ :didattica:magistrale:svl:ay_1819:svl1819-uppaalcode-22-05-2019.zip |UPPAAL Models}}, [[http://www.prismmodelchecker.org/lectures/esslli10/esslli10pmc-part1.pdf|PRISM Slides on DTMCs]]
   - 27/05/2019 - [[https://unicam.webex.com/unicam/ldr.php?RCID=fd2024522f965a22d558e4f5e264d1c5|Watch the Lecture]], [[https://unicam.webex.com/unicam/lsr.php?RCID=88b6f1506cef838aa5d6b7912dcf3c47|Download the Lecture]], [[http://www.prismmodelchecker.org/lectures/esslli10/esslli10pmc-part1.pdf|PRISM Slides on DTMCs]], {{ :didattica:magistrale:svl:ay_1819:die.zip |Die example in PRISM}}
-  - 29/05/2019
+  - 29/05/2019 - [[https://unicam.webex.com/unicam/ldr.php?RCID=2002b01720dd0c5a47db5c5e58078523|Watch the Lecture]], [[https://unicam.webex.com/unicam/lsr.php?RCID=659b29de0a5729945b0e52aac477c53c|Download the Lecture]], {{ :didattica:magistrale:svl:ay_1819:herman7.zip |PRISM Code}}, [[http://www.prismmodelchecker.org/lectures/pmc/03-dtmcs.pdf|Slides Long-run Probability]], {{ :didattica:magistrale:svl:ay_1819:svl-notes-29-05-2019.pdf |Notes}}
-  - 03/06/2019
+  - 03/06/2019 - [[https://unicam.webex.com/unicam/ldr.php?RCID=8ab1c9d51279cda185dc64b5fad97ce9|Watch the Lecture]], [[https://unicam.webex.com/unicam/lsr.php?RCID=e9720bd0c38830e0065c222d2c20a62f|Download the Lecture]], {{ :didattica:magistrale:svl:ay_1819:svl-notes-03-06-2019.pdf |Notes}}
 </WRAP>
 ----
@@ Line 222: / Line 222: @@
 <WRAP box round center 95%>
 **Exam Dates A.Y. 2018/2019 (Written Test Dates)**
-  - 06/02/2019, 3:00pm, Room LA1
+  - 06/02/2019, 3:00pm, Room LA1 - no students.
-  - 20/02/2019, 3:00pm, Room LA1
+  - 20/02/2019, 3:00pm, Room LA1 - no students.
-  - 13/06/2019, 3:00pm, Room TBA, please register on ESSE3 to the Partial Exam "SVL1819 Sess. III - Written Test" before 07/06/2019
+  - 13/06/2019, 3:00pm, Room AB1 - no students.
-  - 27/06/2019, 3:00pm, Room TBA, please register on ESSE3 to the Partial Exam "SVL1819 Sess. IV - Written Test" before 21/06/2019
+  - <del>27/06/2019, 3:00pm, Room TBA</del>, 28/06/2019, 11:00am, Room AB1 Polo Lodovici - {{ :didattica:magistrale:svl:ay_1819:svl1819appello1.pdf |Text}}, {{ :didattica:magistrale:svl:ay_1819:svl1819appello1solutionwithnotes.pdf |Text with Solutions}}
-  - 17/07/2019, 3:00pm, Room TBA, please register on ESSE3 to the Partial Exam "SVL1819 Sess. V - Written Test" before 12/07/2019
+  - 17/07/2019, 3:00pm, Room AB2 Polo Lodovici - {{ :didattica:magistrale:svl:ay_1819:svl1819appello2.pdf |Text}}, {{ :didattica:magistrale:svl:ay_1819:svl1819appello2withsolution.pdf |Text with Solutions}}
-  - 12/09/2019, 3:00pm, Room TBA, please register on ESSE3 to the Partial Exam "SVL1819 Sess. VI - Written Test" before 06/09/2019
+  - 12/09/2019, 3:00pm, Room AA1 Polo Lodovici - {{ :didattica:magistrale:svl:ay_1819:svl1819appello3.pdf |Text}}, {{ :didattica:magistrale:svl:ay_1819:svl1819appello3_with_solutions.pdf |Text with Solutions}}
-  - 26/09/2019, 3:00pm, Room TBA, please register on ESSE3 to the Partial Exam "SVL1819 Sess. VII - Written Test" before 20/09/2019
+  - 26/09/2019, 3:00pm, Room AA1 Polo Lodovici, please register on ESSE3 to the Partial Exam "SVL1819 Sess. VII - Written Test" before 20/09/2019
   - 24/03/2020, 3:00pm, Room TBA, please register on ESSE3 to the Partial Exam "SVL1819 Sess. VIII - Written Test" before 20/03/2020