Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
didattica:choiceexams:modelchecking:mc2014 [2014/12/02 12:14] luca [Page Course Template (please update)] |
— (current) | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== 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> | ||
