====== Model Checking 2014/2015 ======
----
===== News =====
<WRAP center round important 95%>
  * Please check news [[http://docenti.unicam.it/pdett.aspx?ids=N&tv=d&UteId=572&ru=RU|here]]
</WRAP>

----
===== General Info =====
<WRAP box round 95% center>
**Teacher**: 
  * [[http://docenti.unicam.it/pdett.aspx?ids=N&tv=d&UteId=572&ru=RU|Luca Tesei]] 

**Link to the course material and scheduling**:
  * [[http://docenti.unicam.it/tmp/4129.pdf|General Information, Scheduling and Exam Modalities]]
  * [[http://docenti.unicam.it/pdett.aspx?UteId=572&IDPADRE=774&tv=m&ru=RU|Lecture Notes and other material]]

**Office Hours**:
  * Tuesday from 12am to 2pm, [[http://docenti.unicam.it/pdett.aspx?UteId=572&tv=d&ru=RU|Check for news and changes]]
</WRAP>
----

===== Exams =====
<WRAP box round center 95%>
**Exam Dates A.Y. 2014/2015**
  * [[http://docenti.unicam.it/tmp/4129.pdf|Exam modalities and dates]]
  * [[https://didattica.unicam.it/Home.do|Register for the exam sessions]]
</WRAP>