Algorithms for the web and for social networks
Paolo Boldi
University of Milano (Italy)
Course web page: http://boldi.dsi.unimi.it/Corsi/BISS2012/
Software Verification and Interactive Theorem Proving
Andrea Asperti
University of Bologna (Italy)
Course web page: http://www.cs.unibo.it/~asperti/abstract.html
Regularization methods for high dimensional learning
Francesca Odone & Lorenzo Rosasco
University of Genova (Italy) & MIT (USA)
Course web page: http://www.disi.unige.it/dottorato/corsi/RegMet2012/