Open invitation - Registration Required - See here for late Registration.
PROGRAM
09:30 Registration
10:00 Welcome Address
Général Xavier Michel, Directeur Général de l’École Polytechnique
Michel Cosnard, CEO, INRIA
Andrew Herbert, Managing Director, Microsoft Research Cambridge
10:45 Mathematical Components (slides)
Georges Gonthier, Microsoft Research Cambridge
11:15 Break
11:30 Secure Distributed Computations and their Proofs (slides)
Cédric Fournet, Microsoft Research Cambridge
12:00 TLA+ (slides)
Damien Doligez, INRIA
12:30 Lunch and Demos
14:00 Dynamic Dictionary of Mathematical Functions (slides)
Bruno Salvy, INRIA
14:30 ReActivity (slides)
Jean-Daniel Fekete, INRIA - Wendy Mackay, INRIA
15:00 Break
15:15 Adaptative Combinatorial Search for e-Sciences (slides)
Youssef Hamadi, Microsoft Research Cambridge
Marc Schoenauer, INRIA
15:45 Scientific Image and Video Data Mining (slides)
Jean Ponce, Ecole Normale Supérieure
16:15 Conclusion
Jean-Jacques Lévy, Director, Microsoft Research-INRIA Joint Centre
Table ronde ``Partenariat Recherche Publique, Recherche Privée’’
Michel Cosnard, Jean-Jacques Lévy,
Eric Boustouller, CEO, Microsoft France,
Tony Hey, Corporate Vice President of External Research, Microsoft,
Geneviève Fioraso, Députée de l’Isère,
Pierre Lasbordes, Député de l’Essonne,
Mateo Valero, Director, Barcelona Supercomputing Center.
17:45 Closing remarks
Luc Rousseau, directeur de la DGE (talk in french)
17:55 Demos and Cocktails
More Information and registration :
+33 1 69 35 69 70