Daniela Cruz presented her thesis “Verification, slicing, and Visualization of Programs with Contracts”, supervised by Profs. Pedro Henriques and Sousa Pinto, on October 21st, 2011. The discussion took place in the School of Engineering of the University of Minho and the candidate has been approved. The jury has been: Eugénio Ferreira (president) José Luís Fiadeiro (Univ. Leicester) Sebastian Danicic (Univ London) Gabriel David (MAP-i, Univ. Porto) Maria João Frade (Univ. Minho) Pedro Henriques (supervisor, Univ. Minho) Jorge Sousa Pinto (co-spervisor, Univ. Minho)