Open invitation - Registration Required - Please register before January 21st.
PROGRAM
09:30 Registration
10:00 Welcome Address
Michel Cosnard, CEO, INRIA
Andrew Herbert, Managing Director, Microsoft Research Cambridge
10:45 Mathematical Components
Georges Gonthier, Microsoft Research Cambridge
11:15 Break
11:30 Secure Distributed Computations and their Proofs
Cédric Fournet, Microsoft Research Cambridge
12:00 TLA+
Damien Doligez, INRIA
12:30 Lunch
14:00 Dynamic Dictionary of Mathematical Functions
Bruno Salvy, INRIA
14:30 ReActivity
Jean-Daniel Fekete, INRIA - Wendy Mackay, INRIA
15:00 Break
15:15 Adaptative Combinatorial Search for e-Sciences
Youssef Hamadi, Microsoft Research Cambridge
Marc Schoenauer, INRIA
15:45 Scientific Image and Video Data Mining
Jean Ponce, Ecole Normale Supérieure
16:15 Conclusion
Jean-Jacques Lévy, Director, Microsoft Research-INRIA Joint Centre
16:30 Demos and Cocktails
More Information and registration :
+33 1 69 35 69 70
