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)