Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
didattica:magistrale:fmsis:ay_1718:main [2018/05/09 12:12]
tiezzi [Study material]
didattica:magistrale:fmsis:ay_1718:main [2020/09/17 16:55] (current)
Line 3: Line 3:
 ===== News ===== ===== News =====
 <WRAP center round important 95%> <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. ​   * 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 lecture of April 10 is postponed to April 12, 16:​00-18:​00,​ Classroom AB2.
Line 101: Line 108:
   * 08 May: Equivalence checking with TAPAs ([[https://​unicam.webex.com/​unicam/​ldr.php?​RCID=9cda8a3ee9bfaa87b6d01a85feac90ed|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]])   * 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**\\ **Reference books**\\
Line 134: Line 143:
  
 ** Exam Results ** ** Exam Results **
-  * N/A+  * {{ :​didattica:​magistrale:​fmsis:​ay_1718:​risultati_secondo_parziale_30_maggio_2018.pdf |Results of second partial exam}}
 </​WRAP>​ </​WRAP>​