European Microsoft research centres and FBK meeting


Representatives of three European Microsoft supported research centres


and of the Fondazione Bruno Kessler (FBK) meet at COSBI in Trento to identify shared areas of research and potential avenues of collaboration. The meeting is brought forth by Fabrizio Gagliardi, EMEA Director for External Research at Microsoft Research.




9:00-9:30Quantitative analysis of biological systemsIvan Mura, COSBI
9:30-10:00The MSR-INRIA joint centrePierre-Louis Xech, MSR-INRIA
10:00-10:30Coffee break
10:30-11:00Computational genomicsDavid Torrents, BSC
11:00-11:30Formal verification in Trento and its possible applications to computational biologyAlessandro Cimatti, FBK
11:30-12:30Discussion and final wrap-up