Differences

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

--- didattica:magistrale:fmsis:ay_1718:main [2018/04/14 11:03]
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>The lecture of April 10 is postponed to April 12, 16:00-18:00, Classroom AB2.</wrap>
+  * <wrap em>The result of the second in itinere test are published (see end of this page).</wrap>
-  * <wrap em>The in itinere test will take place on 11 April 2018 at 9:15 in Room AB2 (Polo Lodovici).</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>
   * Classroom code: 07ds9gi
   * March 6th: first lecture
@@ Line 78: / Line 87: @@
   * {{ :didattica:magistrale:fmsis:ay_1718:formal_semantics_of_regular_expressions_1718.pdf |Formal semantics of regular expressions}}
   * {{ :didattica:magistrale:fmsis:ay_1718:ccs_1718.pdf |CCS}}
+  * {{ :didattica:magistrale:fmsis:ay_1718:intro-to-pa.pdf |A gentle introduction to Process Algebras}}
@@ Line 92: / Line 102: @@
   * 11 April: First in itinere test.
   * 12 April: CCS examples; TAPAs ([[https://unicam.webex.com/unicam/ldr.php?RCID=4f298b65e18a98b282ccee00cef475dc|registration]])
+  * 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 110: / 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 118: / Line 143: @@
 ** Exam Results **
-  * N/A
+  * {{ :didattica:magistrale:fmsis:ay_1718:risultati_secondo_parziale_30_maggio_2018.pdf |Results of second partial exam}}
 </WRAP>