Open invitation - Registration Required - See here for late Registration.
FORUM 2011
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.
More Information on Program and Registration :
+33 1 69 35 69 70
