didattica:ay2526:sv:main

Differences

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

Link to this comparison view

didattica:ay2526:sv:main [2025/09/20 12:56] – created - external edit 127.0.0.1didattica:ay2526:sv:main [2026/03/03 15:28] (current) – luca
Line 1: Line 1:
- 
 ====== Fundamentals Of System Verification ====== ====== Fundamentals Of System Verification ======
 ---- ----
Line 5: Line 4:
 ===== News ===== ===== News =====
 <WRAP center round important 95%> <WRAP center round important 95%>
-There is not any news. +**The course starts on Wednesday, March 4, 2026, in Room AB2 at 2:00 pm**
-</WRAP> +
----- +
- +
- +
-===== News ===== +
-<WRAP center round important 95%> +
-There is not any news.+
 </WRAP> </WRAP>
 ---- ----
Line 20: Line 12:
 **Teacher**:  **Teacher**: 
   * [[https://docenti.unicam.it/pdett.aspx?ids=N&tv=d&UteId=572|Prof. Luca Tesei]]   * [[https://docenti.unicam.it/pdett.aspx?ids=N&tv=d&UteId=572|Prof. Luca Tesei]]
- 
  
 **ESSE3 Link** **ESSE3 Link**
-  * [[https://unicam.coursecatalogue.cineca.it/insegnamenti/2025/12746/2025/4/10025?coorte=2025&schemaid=4379|Fundamentals Of System Verification - AY 2025/26]]+  * [[https://unicam.coursecatalogue.cineca.it/corsi/2025/10025/insegnamenti/2025/12746/2025/4?coorte=2025&schemaid=4379|FSV2526 on ESSE3]] 
 + 
 +**Material and Information** 
 +  * All material and information will be made available on the Google Classroom dedicated course: [[https://classroom.google.com/c/ODQ3MzczOTAwMjMy?cjc=stuezgmy|FSV2526]] (login using your @studenti.unicam.it account)
  
 **Scheduling of Lectures**: **Scheduling of Lectures**:
Line 30: Line 24:
 **Degrees**: **Degrees**:
   * [[didattica:mscs|MSc in Computer Science (LM-18)]]   * [[didattica:mscs|MSc in Computer Science (LM-18)]]
- 
- 
  
 **Curricula**: **Curricula**:
  • didattica/ay2526/sv/main.txt
  • Last modified: 2026/03/03 15:28
  • by luca