Differences

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

--- didattica:magistrale:fmsis:ay_1718:main [2018/05/08 16:12]
tiezzi [Exams]
+++ didattica:magistrale:fmsis:ay_1718:main [2020/09/17 16:55] (current)
@@ Line 3: / Line 3: @@
 ===== News =====
 <WRAP center round important 95%>
-  * <wrap em>The lecture of May 3 is moved to the time slot 11:00-13:00 (Classroom AB2).</wrap>
+  * <wrap em>The result of the second in itinere test are published (see end of this page).</wrap>
+  * The second in itinere test will take place on 30 June 2018 at 9:15 in Room AB2 (Polo Lodovici).
+  * Calendar of the next lectures:
+    * 15/05 (11:00-13:00): Exercises
+    * 22/05 (11:00-12:00): Projects' discussion
+    * 29/05 (11:00-13:00): Second in itinere test
+    * 06/06 (9:00-12:00): Projects' presentations
+  * The lecture of May 3 is moved to the time slot 11:00-13:00 (Classroom AB2).
   * Calendar next lectures: April 18 9:00-11:00, April 26 16:00-18:00, May 2 9:00-11:00.
   * The lecture of April 10 is postponed to April 12, 16:00-18:00, Classroom AB2.
@@ Line 100: / Line 107: @@
   * 03 May: Behavioural equivalences (strong bisimilarity, weak trace equivalence, weak bisimilarity) ([[https://unicam.webex.com/unicam/ldr.php?RCID=b902e38f65c9add99ea4f69efef39dfa|registration]])
   * 08 May: Equivalence checking with TAPAs ([[https://unicam.webex.com/unicam/ldr.php?RCID=9cda8a3ee9bfaa87b6d01a85feac90ed|registration]])
+  * 09 May: HML and ACTL logics ([[https://unicam.webex.com/unicam/ldr.php?RCID=b119676c05eb1c1019502485478336a5|registration]])
+  * 15 May: Exercises ([[https://unicam.webex.com/unicam/ldr.php?RCID=7af7824830fcb7dc405f8e4e23590a4b|registration]])
+  * 22 May: Projects' discussion
 **Reference books**\\
@@ Line 133: / Line 143: @@
 ** Exam Results **
-  * N/A
+  * {{ :didattica:magistrale:fmsis:ay_1718:risultati_secondo_parziale_30_maggio_2018.pdf |Results of second partial exam}}
 </WRAP>