====== Modelling and Verification 2014/15 ======
----
===== News =====
<WRAP center round important 95%>
  * <wrap em>**October 22nd, 2014**</wrap>: the course web site is now on-line
</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]] 

**Lessons schedule**:
  * Please check [[http://docenti.unicam.it/tmp/4361.pdf|this document]]

**Students reception hours**:
  * Please check [[http://docenti.unicam.it/pdett.aspx?UteId=572&tv=o&ru=RU|this link]]
</WRAP>
----
===== Course Objectives =====

<WRAP box round 95% center>
Please check [[http://docenti.unicam.it/tmp/4361.pdf|this document]]
</WRAP>

----
===== Course Contents =====

<WRAP round 95% center box>
Please check [[http://docenti.unicam.it/tmp/4361.pdf|this document]]
</WRAP>
----
===== Study material =====
<WRAP box round center 95%>
Please check [[http://docenti.unicam.it/pdett.aspx?UteId=572&IDPADRE=776&tv=m&ru=RU|the documents here]]
</WRAP>
----
===== Exams =====
<WRAP box round center 95%>
For exam dates, please enter [[https://didattica.unicam.it|ESSE3]] with your UNICAM credentials.
</WRAP>