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/