Differences

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

--- didattica:magistrale:fmsis:ay_1718:main [2018/04/27 15:38]
tiezzi [Study material]
+++ didattica:magistrale:fmsis:ay_1718:main [2020/09/17 16:55] (current)
@@ Line 3: / Line 3: @@
 ===== News =====
 <WRAP center round important 95%>
-  * <wrap em>Calendar next lectures: April 18 9:00-11:00, April 26 16:00-18:00, May 2 9:00-11:00, May 3 16:00-18:00</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.
   * The in itinere test will take place on 11 April 2018 at 9:15 in Room AB2 (Polo Lodovici).</wrap>
@@ Line 96: / Line 104: @@
   * 18 April: Process Algebras operators (basic processes, sequential composition, choice) ([[https://unicam.webex.com/unicam/ldr.php?RCID=286067affee49375169fd5f94f8513b4|registration]])
   * 26 April: Process Algebras operators (parallel composition, merge, hiding, recursive definitions, replication) ([[https://unicam.webex.com/unicam/ldr.php?RCID=68b2d6cacb4f20e79a781ac8a2c189c9|registration]])
+  * 02 May: Presentation of the course's project. Behavioural equivalences (strong trace equivalence) ([[https://unicam.webex.com/unicam/ldr.php?RCID=ec192d9b2ea4026952cc4d8fd463afc4|registration]])
+  * 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 114: / Line 128: @@
 ===== Exams =====
 <WRAP box round center 95%>
-**Exam Dates A.Y. 2017/2018**
+**Exam Dates A.Y. 2018/2019**
-  * ...
+  * 13/06/2018, 14:00, Polo Lodovici
+  * 03/07/2018, 14:00, Polo Lodovici
+  * 18/07/2018, 14:00, Polo Lodovici
+  * 12/09/2018, 14:00, Polo Lodovici
+  * 26/09/2018, 14:00, Polo Lodovici
+  * 27/02/2019, 14:00, Polo Lodovici
+  * 25/06/2019, 14:00, Polo Lodovici
+  * 09/07/2019, 14:00, Polo Lodovici
 **Exam rules**:
@@ Line 122: / Line 143: @@
 ** Exam Results **
-  * N/A
+  * {{ :didattica:magistrale:fmsis:ay_1718:risultati_secondo_parziale_30_maggio_2018.pdf |Results of second partial exam}}
 </WRAP>