Courses Offered During the 2011 Academic Year

  • Information Integration, Prof. Maurizio Lenzerini, Università di Roma La Sapienza, March 2011 (BISS 2011).
  • Computational Aspects of Game Theory, Prof. Bruno Codenotti, Consiglio Nazionale delle Ricerche, Pisa (Italy), March 2011 (BISS 2011).
  • Trust in Anonymity Networks, Prof. Vladimiro Sassone, University of Southampton (United Kingdom), March 2011 (BISS 2011).
  • Model Checking: From Finite-state to Infinite-state Systems, Prof. Giorgio Delzanno, Università di Genova (Italy), March 2011 (BISS 2011).
  • Abstract interpretation, Dr. Jerome Feret, Ecole Normale Superieure, Paris (France), April 18-22, 2011. Web page of the course.
  • Computational Ontologies, Dr. Valentina Presutti e Dr. Aldo Gangemi, CNR-ISTC, Roma (Italy), May 2-6 and 9-13, 2011.
  • Identificare e cogliere le opportunità di finanziamento per la ricerca, Prof. Paola Mello et al. Università di Bologna (DEIS), May 23-June 3, 2011.
  • Computational Social Choice, Prof. Francesca Rossi, Università di Padova (Italy), June 20-30, 2011.
  • Embedded real time systems, Prof. Fabio Panzieri Università di Bologna (Italy) and Prof. Tullio Vardanega, Università di Padova (Italy), July 2011.
  • Interactive Theorem Proving, Dr. Claudio Sacerdoti Coen, Università di Bologna (Italy), Fall 2011.
  • Other courses are offered by Dottorato in Electronics, Computer Science and Telecommunications (@DEIS). See here.