Conferences & Workshops

The Microsoft Research-INRIA Joint Centre has been created in October 2005. Three research projects started in May 2006, followed by six more since 2007.

The research programme is divided into three tracks.

A) Software Security and Trustworthy Computing, comprising 3 projects: Mathematical Components, Tools and Methodologies for Formal Specifications and for Proofs, and Secure Distributed Computations and their Proofs.

B) Computational Sciences and Scientific Information Interaction, comprising 4 projects: Dynamic Dictionary of Mathematical Functions, ReActivity, Adaptive Combinatorial Search for E-Science, and Image and Video Mining for Science and Humanities.

C) Applications of Cloud Computing, comprising 1 project: Neuroimaging and Azure platform.

At Forum 2011, eight research projects will be presented with an update on progress and results. See short and detailed program.

Come and meet the MSR-INRIA researchers !

Our Forum 2011 is followed by the Software Summit 2011.