PhD Courses
- Model Checking
- Prof. Enrico Tronci (Università di Roma "La Sapienza")
- Similarity Search
- Prof. Pavel Zezula (Masaryk University - Brno, Czech Republic)
- Logica per l'Informatica
- Prof. Andrea Masini (Università di Verona)
- Formal Methods for Interactive Systems
- Prof. Antonio Cerone (United Nations University - Macau, China)
Schools :: Biss2006
Bertinoro International Spring School for Graduate Studies in Computer Science
- Biss 2006 6-17 March 2006
- Access Control Systems for Database Systems
- Prof. Elisa Bertino (Purdue University)
- Calculi and Languages for Distributed Mobile Computation
- Prof. Rocco De Nicola (Università di Firenze)
- Implicit Computational Complexity
- Prof. Simone Martini (Università di Bologna)
- Data Mining
- Prof. Rosa Meo (Università di Torino)
Seminars
- Advances in Operating Systems
- Prof. Susanna Pelagatti (Pagina del corso)
- Language and Intelligence (Reading Group)
- Prof. Giuseppe Attardi (Pagina del corso)