European Microsoft research centres and FBK meeting
Representatives of three European Microsoft supported research centres
- COSBI, The Microsoft Research – University of Trento Centre for Computational and Systems Biology -Trento, Italy
- MSR-INRIA, Microsoft Research INRIA Joint Research Centre – Paris, France
- BSC, Barcelona Supercomputing Centre, Barcelona, Spain
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:30 | Quantitative analysis of biological systems | Ivan Mura, COSBI |
| 9:30-10:00 | The MSR-INRIA joint centre | Pierre-Louis Xech, MSR-INRIA |
| 10:00-10:30 | Coffee break | |
| 10:30-11:00 | Computational genomics | David Torrents, BSC |
| 11:00-11:30 | Formal verification in Trento and its possible applications to computational biology | Alessandro Cimatti, FBK |
| 11:30-12:30 | Discussion and final wrap-up |






