Conferences & Workshops

8 April 2013

FORUM 2011

Current research at the Joint Centre is presented at Forum 2011

12 April 2011Campus Microsoft

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.

Web site