Open invitation - Registration Required - Please register before January 21st.

FORUM 2009

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

   The research programme is divided into two tracks.

  1. 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.

  2. 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.

  At Forum 2009, all seven research projects will be presented with an update on progress and results.  See program below.

   Come and meet the MSR-INRIA researchers !

More Information on Program and Registration :

+33 1 69 35 69 70