|
Courses & Exams
|
Formal Methods: Theory And Practice (2) - 17th International School for Computer Science Researchers (second week), Lipari Island, Italy, July 2005
- Games in System Design and Verification - Prof. Thomas A. Henzinger
- Relational Logic for Software Design - Prof. Daniel Jackson
- Software Model Checking - Prof. Sriram Rajamani
- Practical Static Analysis of Software Systems - Prof. Zohar Manna
|
|
|
Courses & Exams
|
Formal Methods: Theory And Practice (1) - 17th International School for Computer Science Researchers (first week), Lipari Island, Italy, July 2005
- Modeling and analysis of Hybrid and Embedded Systems - Prof. Rajeev Alur
- Abstraction in Model Checking - Prof. Edmund M. Clarke
- The Automata-Theoretic Approach to Verification - Prof. Moshe Vardi
- Model Checking for Nominal Calculi - Prof. Ugo Montanari (Special Guest Speaker)
|
|
|
Courses & Exams
|
|
Distribuited System - Prof. Cosimo Anglano - Univ. of Turin, Italy, June 2005 |
|
|
Courses & Exams
|
|
Decision diagrams and their applications - Prof. Gianfranco Ciardo - BISS Bertinoro International Spring School, Bertinoro, Italy, March 2005 |
|
|
Courses & Exams
|
|
Approximation, Chance and Networks - Prof. Alessandro Panconesi - BISS Bertinoro International Spring School, Bertinoro, Italy, March 2005 |
|
|
Courses & Exams
|
|
Multimedia Databases - Prof. K. Selcuk Candan - Univ. of Turin, Italy, December 2004 |
|
|
Research Activities 
