Differences

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

--- didattica:magistrale:frs:ay_1819:main [2018/12/11 13:06]
tiezzi [Study material]
+++ didattica:magistrale:frs:ay_1819:main [2020/09/17 16:55] (current)
@@ Line 3: / Line 3: @@
 ===== News =====
 <WRAP center round important 95%>
-  * <wrap em>5/12/2018: wed 5/12 the lecture is replaced by the seminar by Prof. Nobuko Yoshida, starting at 10:00.</wrap>
+  * <wrap em>21/1/2019: from 9:00 to 13:00 there will be ALL project presentations.</wrap>
+  * <wrap em>14/1/2019: second in itinere test</wrap>
+  * 9/1/2019: Wednesday 09 January there will be the last theoretical lecture.
+  * 17/12/2018: due to bad weather, ALL lectures on Monday 17 December are cancelled.
+  * 5/12/2018: wed 5/12 the lecture is replaced by the seminar by Prof. Nobuko Yoshida, starting at 10:00.
   * 28/11/2018: wed 28/11 the lecture is cancelled.
   * 26/11/2018: mon 26/11 the lecture is cancelled due to the academic year inauguration.
@@ Line 103: / Line 107: @@
   * 5/12/2018: Seminar on Polymorphic Sessions and Functions.
   * 10/12/2018: Process Algebras operators (basic processes, sequential composition, choice, parallel composition, merge) ([[https://unicam.webex.com/unicam/ldr.php?RCID=d4234a6b5f61311d3fde918a4fc0f4ac |registration]])
+  * 12/12/2018: Process Algebras operators (hiding, recursive definitions, replication) ([[https://unicam.webex.com/unicam/ldr.php?RCID=5fea6b180ef7993580759b6e3693e051|registration]])
+  * 19/12/2018: Behavioural equivalences (strong bisimilarity, weak trace equivalence, weak bisimilarity) ([[https://unicam.webex.com/unicam/ldr.php?RCID=4723b27347859cb2d68b82e0f38a8a7e|registration]])
+  * 9/1/2019: Exercises on CCS and behavioural equivalences ([[https://unicam.webex.com/unicam/ldr.php?RCID=642834a22dec26bb9bfaa988e5fad169 |registration]])
+  * 14/1/2019: Second in itinere test
+  * 21/1/2019: Project presentations (from 9:00 to 12:00).